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