/HITs-Examples

Examples of Higher Inductive Types

Primary LanguageCoq

No issues in this repository yet.