Church Numerals in ski by irie

exec("s=Lx:Ly:Lz:x(z)(y(z));k=Lx:Ly:x;i=Lx:x;r=L:eval(c().replace('`','r()(r())'));c=iter(raw_input()).next;print r()(Ln:n+1)(0);".replace("L","lambda ")*99)

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

download

return top