3 lines
112 B
Text
3 lines
112 B
Text
|
|
DEFINE y == [dup cons] swap concat dup cons i;
|
||
|
|
fac == [[pop null] [pop succ] [[dup pred] dip i *] ifte] y.
|