agda
-
Agda:类型在 `with` 块中没有被简化
-
在 OSX El Capitan 上安装 Agda?
-
Agda 标准库 - 为什么没有标记为抽象的更多属性?
-
如何在 agda 模式下输入“·”(中间点)?
-
为什么 Monad 是 Set1?
-
依赖记录类型的平等
-
Agda 中的平等——不相关的争论
-
有效地抽象数据类型 arity
-
Coq 推理行为
-
使用 Agda 的标准库 Data.Fin.Substitution 处理相互定义类型的替换
-
Agda 中的黄色高亮显示
-
如何在 OSX El Capitan 上安装 agda-mode?
-
如何解决 Agda 模块参数不灵活的问题?
-
Agda 中的排中律
-
Agda:如何推断 _≤_ 的证明(或者,如何实现二叉搜索树)
-
加载 Agda 的标准库
-
当 `b` 已经匹配时证明 `T b`
-
类型在 运行 时间之前被擦除
-
Agda 的标准库 Data.AVL.Sets 包含 Data.String 作为值
-
Haskell Agda 的派生机制