3 lines
78 B
Text
3 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
|