Ackermann

ackermann +RTS -hc
2013-04-20 19:08:00 UTC (uploaded 2013-04-20 14:11:59 UTC); download .hp
(Edit)