【文件属性】:
文件名称:agda模式:Atom上的agda模式
文件大小:565KB
文件格式:ZIP
更新时间:2021-01-30 17:25:23
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