A garden of small programming language implementations 🪴
dependent-types interpreter type-theory programming-languages compilers type-checking l-systems interpreters elaboration compilation typechecking normalization-by-evaluation semantic-typechecking type-systems language-garden
-
Updated
Jun 21, 2025 - OCaml