siiky
2023/02/28
2023/05/12
programming,scheme,type-theory
https://github.com/pre-srfi/static-scheme
Project work on a statically-typed Scheme-like language.
pl.scheme.gmi