An OCaml (embedded) implementation of systems from the book Types and Programming Languages by Benjamin C. Pierce.
Primary LanguageOCaml