More on Higher Inductive Types
Channel: Favonia
Date: 2020-05-03

CSCI 8980 Higher-Dimensional Type Theory
https://favonia.org/courses/hdtt2020/
It is S^n, not S^{n+1}, that is the Susp^n(2). The updated version is on the course website. Sorry about the mistake!