WIP Modal type theory typechecker and evaluator
Primary LanguageOCamlMIT LicenseMIT
No issues in this repository yet.