P

Paths in HITs

Project information

Describing paths in Higher Inductive Types (coequalizers and pushouts).

176 Commits
2 Branches
0 Tags

README

Created on

October 19, 2018

Loading