文件名称：idris-vscode:VS Code的Idris前端
文件大小：52KB
文件格式：ZIP
更新时间：2024-05-22 22:24:24
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)