【文件属性】：
文件名称：sublime-idris:用于 Idris 语言的 Sublime Text 插件。 转移到@idris-hackers
文件大小：22KB
文件格式：ZIP
更新时间：2021-06-14 17:24:55
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)