5 lines
123 B
Text
5 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)) ]
|