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