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