4 lines
143 B
Text
4 lines
143 B
Text
fun ackermann(m: int, n: int): int =
|
|
if m == 0 then n + 1
|
|
else if n == 0 then ackermann(m-1, 1)
|
|
else ackermann(m - 1, ackermann(m, n-1))
|