9 lines
149 B
Text
9 lines
149 B
Text
|
#import std
|
||
|
|
#import nat
|
||
|
|
|
||
|
|
ackermann =
|
||
|
|
|
||
|
|
~&al^?\successor@ar ~&ar?(
|
||
|
|
^R/~&f ^/predecessor@al ^|R/~& ^|/~& predecessor,
|
||
|
|
^|R/~& ~&\1+ predecessor@l)
|