/lambdapi

Minimal implementation of the λΠ-calculus modulo

Primary LanguageOCaml

Watchers