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