没有合适的资源?快使用搜索试试~ 我知道了~
温馨提示
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
资源推荐
资源详情
资源评论
收起资源包目录
agda模式:Atom上的agda模式 (223个子文件)
Algebra.agda 17KB
Test.agda 4KB
QuotationMark.agda 153B
Issue95.agda 148B
Temp.agda 0B
Blank1.agda 0B
agda-mode.cson 5KB
agda-mode.cson 4KB
keymap.el 8KB
.gitignore 794B
04.in 164KB
03.in 84KB
02.in 55KB
QuotationMark-2.6.0-Unix.in 1KB
Issue95-2.6.1-Unix.in 1KB
literate.lagda.md.in 222B
01.in 221B
01.agda.in 215B
literate.lagda.org.in 179B
literate.lagda.rst.in 173B
literate.lagda.in 131B
Issue96.agda.in 91B
bundled.js 477KB
keymap.js 65KB
Task__Command.bs.js 44KB
query.js 42KB
Response.bs.js 27KB
Test__InputMethod.bs.js 23KB
Test__Util.bs.js 17KB
Request.bs.js 14KB
Emacs__Component.bs.js 14KB
Settings__InputMethod.bs.js 13KB
InputMethod.bs.js 13KB
Type__Location.bs.js 12KB
Task__Response.bs.js 12KB
Process.bs.js 12KB
Panel.bs.js 12KB
Parser.bs.js 11KB
SourceFile.bs.js 11KB
TaskRunner.bs.js 11KB
Command.bs.js 10KB
Test__View.bs.js 9KB
Util.bs.js 9KB
AgdaMode.bs.js 9KB
Task__DisplayInfo.bs.js 9KB
Goal.bs.js 8KB
Connection.bs.js 8KB
MiniEditor.bs.js 6KB
Highlighting.bs.js 6KB
Emacs__AllGoalsWarnings.bs.js 6KB
Test__Distribution.bs.js 6KB
Settings__Log.bs.js 5KB
Emacs__Parser.bs.js 5KB
Root.bs.js 5KB
Tab.bs.js 5KB
Settings__Connection.bs.js 5KB
Dashboard.bs.js 5KB
Test__Connection.bs.js 5KB
Settings.bs.js 5KB
Task__Error.bs.js 4KB
Emacs__GoalTypeContext.bs.js 4KB
Test__Parser__SExpression.bs.js 4KB
CandidateSymbols.bs.js 4KB
Instance__Connections.bs.js 4KB
Extension.bs.js 4KB
Instance__Highlightings.bs.js 4KB
Hook.bs.js 4KB
Log.bs.js 4KB
View.bs.js 4KB
Instance__Goals.bs.js 4KB
Test__Parser__SourceFile.bs.js 3KB
Instance__TextEditors.bs.js 3KB
Buffer.bs.js 3KB
Test__Main.bs.js 3KB
Instance.bs.js 3KB
Translator.bs.js 3KB
Component__Link.bs.js 3KB
Settings__Debug.bs.js 2KB
Test__Misc.bs.js 2KB
Editors.bs.js 2KB
Test__Parser__Response.bs.js 2KB
Settings__Breadcrumb.bs.js 2KB
Emacs__Body.bs.js 2KB
RunningInfo.bs.js 2KB
SizingHandle.bs.js 2KB
Emacs__SearchAbout.bs.js 2KB
Emacs__Error.bs.js 1KB
Body.bs.js 1KB
Component__Range.bs.js 1KB
Resource.bs.js 1KB
Channels.bs.js 1KB
Event.bs.js 1KB
Emacs__ParseError.bs.js 1KB
Emacs__Context.bs.js 1KB
Type__View.bs.js 1017B
Channel.bs.js 862B
Settings__Connection__Error.bs.js 724B
Emacs__WhyInScope.bs.js 698B
Events.bs.js 513B
Task.bs.js 451B
共 223 条
- 1
- 2
- 3
资源评论
weixin_42128015
- 粉丝: 20
- 资源: 4641
上传资源 快速赚钱
- 我的内容管理 展开
- 我的资源 快来上传第一个资源
- 我的收益 登录查看自己的收益
- 我的积分 登录查看自己的积分
- 我的C币 登录后查看C币余额
- 我的收藏
- 我的下载
- 下载帮助
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功