[ prog / sol / mona ]

prog

frontpage - thread list - new thread - preferences - ?

formally verified Scheme

1 2022-07-12 09:28

I couldn't find any, even though formal semantics are included in R7RS-small. How come? Is there no value in it?

6

VIP:

do not edit these

bbs.scm + MIT Scheme + SICP + Satori Mode