[ prog / sol / mona ]
frontpage - thread list - new thread - preferences - ?
>>18 Were you using constructivist type theoretical foundations? I worry that this would put too much burden on students, even if it solves the mentioned issue.
VIP:
bbs.scm + MIT Scheme + SICP + Satori Mode