agda模式:Atom上的agda模式 源码

Atom上的agda模式 对于出于任何原因不想使用Emacs的人。 随意打开问题!!!! 要求 二进制文件: 安装 安装此软件包: 从编辑器中: Atom > Preferences... > Install ,搜索agda-mode并安装 或从外壳: apm install agda-mode 确保正确安装了 (在控制台中选中该选项,键入agda并查看其是否在)。 语法高亮 与Emacs不同, Atom的agda-mode并没有捆绑语法高亮显示,也没有在加载时动态高亮显示代码(尚未)。 突出显示代码: 安装language-agda : 从编辑器中: Atom > Prefer