chemlambda demos
The predecessor function with the nodes decorated with their names (L, A, FI FO, FOE, ...). Random reduction algorithm, slow dynamics.
See also
the coloured version
.
start
