Church Numerals in ski by kozima

(loop(defun r()(case(read-char)(#\`(#1=funcall(r)(r)))(#\k'constantly)(#\i(#2=lambda(x)x))(#\s(#2#(a)(#2#(b)(#2#(c)(#1#(#1#a c)(#1#b c))))))(t(r))))(format t"~D
"(#1#(#1#(r)'1+)0)))

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

download

return to the top page