Composition Calculus by hinoe

data V=L(V->V)|S{s::String}
m@main=getLine>>=putStrLn.s.foldl1(!).map(S).words>>m
L a!b=a b
S"."!b=L$L.((b!).).(!)
S a!S b=S$'(':a++' ':b++")"

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

download

return to the top page