search

nmvdw / Three-HITs

All higher inductive types can be obtained from three simple HITs.
17 stars 2 forks source link

Abstract #3

Closed nmvdw closed 7 years ago