Peano arithmetic by kaki

main=interact$(>>=f.span(/='*')).lines
f(p,q)=['S'|'S'<-p,'S'<-max" S"q]++"0\n"

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

To protect the system from spam, please input your favorite sport (hint: I believe its name must start with 'g', case insensitive)

download

return to the top page