首页
标签
agda
仅数学证明助理
模块缩进
Agda 中的构造函数是否不相交? (或者如何反驳 inj₁ x ≡ inj₂ y)
Emacs 24.4.1 中的下标未正确显示
理解 Agda 的语法
Agda 类型安全的转换/强制转换
1
2
...
14
15
16
17
18
19