M. Buliga, version: 15.06.2019
Ackermann(2,2) computed with (hapax). See also the computation of 9_quine. For the theory see (slides).
start stop refresh