/Hypercube

A Haskell implementation of cumulative Universal Type Theory with a single binder

Primary LanguageHaskell

No issues in this repository yet.