4 lines
123 B
Text
4 lines
123 B
Text
def ackermann =
|
|
[ 0 N -> N + 1
|
|
| M 0 -> ackermann (M - 1) 1
|
|
| M N -> ackermann (M - 1) (ackermann M (N - 1)) ]
|