idris-sublime:将 Idris 与 Sublime 结合使用的插件

用于 Idris2 语言的 Sublime Text 插件 语法定义是基于插件开发的，使用插件将YAML转换为tmLanguage 。 [交互式编辑]基于idris2-vim 功能： 它使用:cs!类的命令调用idris2 --find-ipkg :cs! ，只是写入您的文件。 以下命令被添加到命令面板： ⌘ `或⌃ ⌘ T Idris: Show type （ :t表示当前交易品种） ⌃ ⌘ R Idris: Reload ⌃ ⌘ C Idris: Case split ( :cs! for current symbol) ⌃ ⌘ V Idris: Add clause （ :ac!用于当前符号） ⌃ ⌘ J Idris: Add clause (pattern-matching proof) （ :apc!用于当前符号） ⌃ ⌘ M Idris: Add missin