文件名称：idris-sublime:将 Idris 与 Sublime 结合使用的插件
文件大小：12KB
文件格式：ZIP
更新时间：2024-06-20 04:24:11
Python
用于 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
【文件预览】：
idris-sublime-master
----.gitignore(13B)
----Default.sublime-commands(2KB)
----Idris.py(4KB)
----LICENSE(1KB)
----Readme.md(3KB)
----Idris.YAML-tmLanguage(10KB)
----Default.sublime-keymap(2KB)
----test.idr(76B)
----Idris.tmLanguage(20KB)
----Comments.tmPreferences(824B)