/QIITs-in-Cedille

Implementation of Martin-Löf style Equality Type and Quotient Inductive-Inductive Types in Cedille

Creative Commons Zero v1.0 UniversalCC0-1.0

No issues in this repository yet.