P
Paths in HITs
Describing paths in Higher Inductive Types (coequalizers and pushouts).
GitLab 15.0 has launched! Please visit Breaking changes in 15.0 and 15.0 Removals to see which breaking changes may impact your workflow.
Describing paths in Higher Inductive Types (coequalizers and pushouts).