文件名称：agda模式：Atom上的agda模式
文件大小：565KB
文件格式：ZIP
更新时间：2024-02-20 11:12:03
atom agda agda-mode AtomReason
Atom上的agda模式 对于出于任何原因不想使用Emacs的人。 随意打开问题！！！！ 要求 二进制文件： 安装 安装此软件包： 从编辑器中： Atom > Preferences... > Install ，搜索agda-mode并安装 或从外壳： apm install agda-mode 确保正确安装了 （在控制台中选中该选项，键入agda并查看其是否在）。 语法高亮 与Emacs不同， Atom的agda-mode并没有捆绑语法高亮显示，也没有在加载时动态高亮显示代码（尚未）。 突出显示代码： 安装language-agda ： 从编辑器中： Atom > Preferences... > Install ，搜索language-agda并安装 或从外壳： apm install language-agda 额外的好处：安装了language-agda后，无需先load就可以调用诸如input-symbol ， go-to-definition命令。 推荐设置 启用滚动结束 转到Settings > Editor > Scroll Past End到Setti