订阅

My notes on learning Homotopy Type Theory (HoTT).

订阅后，当此列表有新内容时，我们会给你发送邮件通知。

订阅流程：

1. 在这里提交你的电子邮件地址
2. 查收验证邮件
3. 等待列表 Owner 确认
4. 订阅成功