7 lines
135 B
Text
7 lines
135 B
Text
|
ackermann = method(m,n,
|
||
|
|
cond(
|
||
|
|
m zero?, n succ,
|
||
|
|
n zero?, ackermann(m pred, 1),
|
||
|
|
ackermann(m pred, ackermann(m, n pred)))
|
||
|
|
)
|