chemlambda demos
The predecessor function (as seen in chemlambda via the Church encoding). Random reduction algorithm.
See also
the bw with names version
.
start
