[ prog / sol / mona ]

prog

frontpage - thread list - new thread - preferences - ?

(Strong Static vs Weak Dynamic) -> Typesystems

6 2024-10-14 09:43

Do you like F*?
https://fstar-lang.org/

10

VIP:

do not edit these

bbs.scm + MIT Scheme + SICP + Satori Mode