kakoune-idris:适用于Kakoune的Idris 2 IDE协议集成

【文件属性】：

文件名称：kakoune-idris:适用于Kakoune的Idris 2 IDE协议集成

文件大小：10KB

文件格式：ZIP

更新时间：2024-06-20 07:33:05

plugin kakoune idris idris2 JavaScript

Kakoune 编辑器的 Idris 突出显示和 IDE 操作 安装 确保安装了 NodeJS 和 。 克隆存储库： git clone https://github.com/stoand/kakoune-idris ~/.kakoune-idris/ 添加到您的kakrc ： source ~/.kakoune-idris/idris.kak map global normal ':enter-user-mode idris-ide' 注意：这会将减号键设置为 idris ide 模式键。 可以通过将上面的替换为所需的键来更改此设置。 用法 有关示例项目，请参阅tests/目录 # The plugin expects the "*.ipkg" file to be in the same folder as the "src" dir

【文件预览】：
kakoune-idris-master
----ide-mode-test.js(3KB)
----package.json(628B)
----tests()
--------tests.ipkg(33B)
--------src()
----ide-mode-actions.js(5KB)
----parse-protocol-expr.js(2KB)
----.gitignore(52B)
----parse-protocol-expr-test.js(1KB)
----ide-mode-run.js(752B)
----README.md(1KB)
----idris.kak(8KB)