Church Numerals in ski by yshl

41{0{1 add}/s(%stdin)(r)file 200 string readline{def s length 1 sub -1 0{s exch
get dup 106 lt{96 eq{exec}{{}}ifelse}{107 eq{{[exch/pop cvx
exch]cvx}}{{[{[exch/dup cvx exch/exec cvx/exch cvx}/exec cvx 4 3 roll{/exec cvx
dup]cvx}/exec cvx]cvx}}ifelse}ifelse}for exec exec =}if}repeat

Note that non-ascii characters in the above source code will be escaped (such as \x9f).


return to the top page