【文件属性】：
文件名称：idris-vscode:VS Code的Idris前端
文件大小：52KB
文件格式：ZIP
更新时间：2021-05-03 04:37:44
TypeScript
idris-vscode
支持 （依赖类型的功能性语言）。
区分大小写
的文件
光标文档
产生定义
口译选择
列出元变量
打印定义
光标处的打印定义
做案
使引理
用
证明搜索
版本
键绑定
语义突出显示
去做
关于
执照
安装
插件本身可以通过扩展面板从VSCode或VSCodium内部安装。 如果您搜索“ Idris”，它应该出现。 扩展名id为meraymond.idris-vscode 。
您还可以从Github上的“发行”页面，VSCode Marketplace或Open VSX Registry下载vsix文件。
您将需要分别安装Idris或Idris 2。 如果它不在$ PATH上，则可以在配置中指定可执行文件的绝对路径。 该扩展程序不会代表用户下载或安装任何内容。
如果要测试扩展的本地更改，请使用npm install && npm run watch对其进行构
【文件预览】：
idris-vscode-main
----.eslintrc.json(423B)
----.gitignore(40B)
----package.json(5KB)
----syntaxes()
--------lidr.tmLanguage.json(269B)
--------ipkg.tmLanguage.json(740B)
--------idris.tmLanguage.json(12KB)
----package-lock.json(80KB)
----src()
--------message-stitching.ts(3KB)
--------commands.ts(12KB)
--------editing.ts(4KB)
--------extension.ts(5KB)
--------state.ts(3KB)
--------providers()
----.vscodeignore(88B)
----LICENSE(1KB)
----CHANGELOG.md(2KB)
----tsconfig.json(333B)
----README.md(7KB)
----.vscode()
--------launch.json(588B)
----shell.nix(148B)
----language-configuration.json(596B)
----test()
--------errors.test.ts(3KB)
----.prettierrc(61B)