Principles of Dependent Type Theory 的笔记 [type-theory-book] 2025年十月起的 seminar 笔记, 主要资料即 Principles of Dependent Type Theory. 习题 2-3 [type-theory-book/exercise-2-3] 习题 2-4 [type-theory-book/exercise-2-4]
