Niels van der Weide
Results
1
repositories owned by
Niels van der Weide
Three-HITs
16
Stars
2
Forks
Watchers
All higher inductive types can be obtained from three simple HITs.
