/TAPL

Benjamin Pierce's "Types And Programming Languages" type checker implementations.

Primary LanguageOCamlBSD 2-Clause "Simplified" LicenseBSD-2-Clause

This repository is not active