8 lines
143 B
Text
8 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
|