chemlambda demos
Duplication of the Church number 4, with (almost) only the syntactic tree visible (plus links between variables to their lambda scope).
Proof that the graphs are NOT flowcharts.
start
