[ prog / sol / mona ]
frontpage - thread list - new thread - preferences - ?
That was meant to be wp(S, x=0 \/ x=1) not wp(S, x=0 /\ x=1), sorry about that.
wp(S, x=0 \/ x=1)
wp(S, x=0 /\ x=1)
VIP:
bbs.scm + MIT Scheme + SICP + Satori Mode