search

nmvdw / Three-HITs

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

Some typos in the first part #10

Closed co-dan closed 7 years ago