nmvdw / Three-HITsLinks

All higher inductive types can be obtained from three simple HITs.
17Updated 7 years ago

Alternatives and similar repositories for Three-HITs

Users that are interested in Three-HITs are comparing it to the libraries listed below

Sorting: