/eopl

Essentials of Programming Languages, with OCaml implementations & Coq proofs

Primary LanguageOCaml

Stargazers