2024年2月1日
11-Simple Extensions
摘要： 基本类型 Base Types 用 A B C 表示基本类型 base types / atomic types 名称，$ A $ 表示基本类型组成的集合 当展示求值的结果时，将省略 λ 抽象体，直接简记为一个 <fun>，比如 λx : B . x > <fun> : B → B 单位类型 Uni 阅读全文
posted @ 2024-02-01 21:10 sysss 阅读(7) 评论(0) 推荐(0) 编辑