siiky2023/02/282023/02/282023/08/19programming,scheme,type_theory
Project work on a statically-typed Scheme-like language.