/modal-type-theory

WIP Modal type theory typechecker and evaluator

Primary LanguageOCamlMIT LicenseMIT

Watchers