Minimal implementation of the λΠ-calculus modulo
Primary LanguageOCaml
No issues in this repository yet.