agda-mode-vscode:VS Code上的agda模式
需积分: 9 183 浏览量
2021-05-16
01:31:23
上传
评论
收藏 457KB ZIP 举报
agda-mode-vscode:VS Code上的agda模式 （179个子文件） 
CaseSplit.agda 389B QuotationMark.agda 153B Issue95.agda 148B InputMethod.agda 0B codicon.css 20KB .gitignore 2KB 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.rst.in 424B literate.lagda.md.in 222B 01.in 221B 01.agda.in 215B literate.lagda.org.in 179B literate.lagda.in 131B Issue96.agda.in 91B Issue126.agda.in 8B Test__EditorIM.bs.js 94KB keymap.js 65KB Connection__LSP.bs.js 47KB query.js 42KB State__Command.bs.js 36KB Common.bs.js 31KB Response.bs.js 30KB View.bs.js 26KB RichText.bs.js 26KB Highlighting.bs.js 22KB Test__AgdaOffset.bs.js 19KB Emacs__Parser2.bs.js 17KB State__Response.bs.js 15KB Process.bs.js 15KB IM.bs.js 15KB Decoration.bs.js 14KB State__Goal.bs.js 13KB Request.bs.js 13KB State__InputMethod.bs.js 13KB ViewController.bs.js 12KB Editor.bs.js 12KB Agda.bs.js 12KB Command.bs.js 11KB Test__Util.bs.js 11KB SourceFile.bs.js 11KB Connection__Emacs.bs.js 11KB Component.bs.js 10KB Parser.bs.js 10KB Main.bs.js 10KB State.bs.js 9KB Panel.bs.js 9KB Util.bs.js 8KB Test__CaseSplit.bs.js 8KB Emacs__Parser.bs.js 7KB Goal.bs.js 6KB Test__LineEnding.bs.js 5KB Connection.bs.js 5KB Prompt.bs.js 5KB Test__Parser__SExpression.bs.js 5KB Translator.bs.js 4KB Buffer.bs.js 4KB Keyboard.bs.js 4KB Connection__LSP__Error.bs.js 4KB Config.bs.js 4KB Test__Parser__SourceFile.bs.js 4KB LSP.bs.js 3KB Component__Link.bs.js 3KB TestSuiteAdapter.bs.js 3KB Test__Parser__Response.bs.js 3KB Connection__Scheduler.bs.js 3KB ViewMain.bs.js 2KB Registry.bs.js 2KB Chan.bs.js 2KB Hook.bs.js 2KB webpack.config.js 1KB CandidateSymbols.bs.js 1KB RunTestFromCLI.bs.js 1KB Connection__Error.bs.js 1KB Header.bs.js 1KB Body.bs.js 907B N.bs.js 372B Test__PromptIM.bs.js 156B Node__Fs.bs.js 156B Node__OS.bs.js 156B Node__Util.bs.js 156B Node__Net.bs.js 128B Test__Parser__Emacs.bs.js 123B package-lock.json 189KB package.json 20KB language-configuration.json 903B launch.json 790B bsconfig.json 658B style.less 7KB variables.less 1KB LICENSE 1KB README.md 7KB CHANGELOG.md 4KB commands.md 2KB CONTRIBUTING.md 342B 04.out 208KB 03.out 109KB共 179 条
- 1
- 2
资源评论
