9 lines
143 B
Text
9 lines
143 B
Text
|
(
|
||
|
|
:n :m
|
||
|
|
(
|
||
|
|
((m 0 ==) (n 1 +))
|
||
|
|
((n 0 ==) (m 1 - 1 ackermann))
|
||
|
|
((true) (m 1 - m n 1 - ackermann ackermann))
|
||
|
|
) case
|
||
|
|
) :ackermann
|