chemlambda demos
The Ackermann function is a
famous computable but not primitive recursive function
. Random reduction algorithm for Ack(3,2), with the edges darkened, smaller nodes and faster dynamics.
start
