4 lines
78 B
Text
4 lines
78 B
Text
|
ack 0 n = n+1
|
||
|
|
ack m 0 = ack (m - 1) 1
|
||
|
|
ack m n = ack (m - 1) <| ack m <| n - 1
|