/type-theory

Haskell implementation of normalization by evaluation and bidirectional type checking

Primary LanguageHaskellMIT LicenseMIT

No issues in this repository yet.