5 lines
114 B
Text
5 lines
114 B
Text
|
DEFINE ack == [[[pop null] [popd succ]]
|
||
|
|
[[null] [pop pred 1] []]
|
||
|
|
[[[dup pred swap] dip pred] [] []]]
|
||
|
|
condnestrec.
|