文件名称：vscode-arend：Arend语言的VSCode扩展
文件大小：13KB
文件格式：ZIP
更新时间：2024-03-07 22:15:15
TypeScript
VSCode到达 这是证明助手的非官方VSCode扩展，由。 由于唯一的官方编辑器是IntelliJ IDEA，所以当我们想享受VSCode如此出色的启动速度时，这很难。 所以，我做这个很有趣。 语法突出显示文件来自 ，此插件中捆绑的Arend编译器使用Arend的最新开发版本。 如果您想要稳定的版本，则可以构建它，并为自己的jar指定VSCode设置arend.languageServer.path 。 设置 您需要安装Java（版本> = 11），插件将尝试按（按顺序）在其中找到： VSCode配置java.home 环境变量JAVA_HOME 环境变量PATH 如果某些方法不起作用，请尝试在您的设置中删除配置arend.languageServer.path 。 这样，您就可以启用捆绑的语言服务器。 特征 转到定义 在悬停时显示错误和弹出窗口 把招工广告 这个项目需要您的
【文件预览】：
vscode-arend-master
----.gitignore(2KB)
----package.json(4KB)
----syntaxes()
--------codeblock.json(759B)
--------Arend.tmLanguage(2KB)
----src()
--------os-utils.ts(748B)
--------extension.ts(1KB)
--------startup.ts(5KB)
--------find-arend.ts(1KB)
--------find-java.ts(1KB)
----.vscodeignore(47B)
----CHANGELOG.md(3KB)
----tsconfig.json(253B)
----README.md(2KB)
----.vscode()
--------launch.json(484B)
----language-configuration.json(829B)
----icon.svg(1018B)