/Three-HITs

All higher inductive types can be obtained from three simple HITs.

Primary LanguageCoq

Stargazers