agda --compile Ackermann.agda
./Ackermann