5 lines
169 B
Text
5 lines
169 B
Text
ack is fork [
|
|
= [0 first, first], +[last, 1 first],
|
|
= [0 first, last], ack [ -[first, 1 first], 1 first],
|
|
ack[ -[first,1 first], ack[first, -[last,1 first]]]
|
|
]
|