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