reflectionalist/Hypercube
A Haskell implementation of cumulative Universal Type Theory with a single binder
Haskell
No issues in this repository yet.
A Haskell implementation of cumulative Universal Type Theory with a single binder
Haskell
No issues in this repository yet.