Church Numerals in ski by hinoe

import Unsafe.Coerce
u=unsafeCoerce
m@main=getLine>>=print.e.foldr(#)[]>>m
's'#l=u(\(&)b c->c&b c):l
'k'#l=u const:l
'i'#l=id:l
_#(f:a:b)=u f a:b
e[f]=f(+1)0

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

download

return to the top page