agda-mode
-
从 .sh 脚本启动时，Emacs 看不到 agda
-
Agda 安装 PLFA 配置
-
Agda 中类型归属的一般形式是什么？
-
"Could not load module `Control.Monad.Trans.Maybe'" 在尝试安装 Agda 2.6.1.2 时
-
在 agda 模式下与 agda 交互？
-
防止开发 agda 破坏基本标准库的使用？
-
Agda - 以交互方式构建证明 - 如何使用 hole 语法？
-
Doom Emacs 中 Agda-mode 2 的语法高亮显示
-
在 Agda 中加载文件：Learn you an Agda 中的解释不清楚
-
Agda 中缺少类型签名错误，我不知道如何避免
-
在 Agda 中调用函数
-
Aquamacs 中的 Agda 模式
-
如何检查与特定名称关联的 agda 术语是否依赖于 hole？
-
当我期望看到荒谬的模式时，如何使用 agda2-mode 生成模式？
-
Agda：使用 Stack 安装时找不到 std-lib
-
了解有关 Agda 的练习考试
-
Agda: Return 空列表的头部和尾部
-
如何在 agda 模式下输入“·”（中间点）？
-
如何在 OSX El Capitan 上安装 agda-mode？