Implementation of Martin-Löf Type Theory in Haskell
Primary LanguageHaskell
No issues in this repository yet.