An OCaml (embedded) implementation of systems from the book Types and Programming Languages by Benjamin C. Pierce.
Primary LanguageOCaml
No one’s star this repository yet.