Haskell implementation of (some of) lambda cube calculi
Primary LanguageHaskellMIT LicenseMIT
No issues in this repository yet.