Setoid type theory implementation
Primary LanguageHaskellMIT LicenseMIT
Setoid type theory implementation (new, WIP)