chemlambda demos
The Ackermann function is a
famous computable but not primitive recursive function
. Random reduction algorithm for Ack(2,2).
start
