3 lines
42 B
Agda
3 lines
42 B
Agda
|
agda --compile Ackermann.agda
|
||
|
|
./Ackermann
|