用于 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!对于当前符号)
评论0
最新资源