文件名称：sublime-idris:用于 Idris 语言的 Sublime Text 插件。 转移到@idris-hackers
文件大小：22KB
文件格式：ZIP
更新时间：2024-07-04 11:11:35
Python
用于 Idris 语言的 Sublime Text 插件 语法定义是基于插件开发的，使用插件将YAML转换为tmLanguage 。 WIP功能： 您必须手动启动 idris REPL 服务器。 它使用诸如:addclause!命令调用idris --client :addclause! ，只是写入您的文件（它不使用--ideslave ）。 idris 本身存在一些问题：例如 。 以下命令被添加到命令面板： Idris: Run REPL command... （ Idris: Run REPL command...任何命令） Idris: Run editing command... （这将附加行号和符号名称） Idris: Add clause （ :addclause!用于当前符号） Idris: Case split ( :casesplit!对于当前符号)
【文件预览】：
sublime-idris-master
----Idris.YAML-tmLanguage(11KB)
----Readme.md(2KB)
----LICENSE(34KB)
----test.idr(76B)
----Default.sublime-commands(857B)
----.gitignore(13B)
----Idris.py(2KB)
----Idris.tmLanguage(21KB)