akuklev/QIITs-in-Cedille
Implementation of Martin-Löf style Equality Type and Quotient Inductive-Inductive Types in Cedille
CC0-1.0
No issues in this repository yet.
Implementation of Martin-Löf style Equality Type and Quotient Inductive-Inductive Types in Cedille
CC0-1.0
No issues in this repository yet.