文件名称：vim-idris：对SpaceVim的idris支持
文件大小：12KB
文件格式：ZIP
更新时间：2024-02-27 04:18:09
vim neovim idris spacevim SpaceVimVimscript
vim-idris：对SpaceVim的idris支持
【文件预览】：
vim-idris-master
----ftplugin()
--------idris.vim(410B)
----syntax()
--------idris.vim(4KB)
--------lidris.vim(667B)
----autoload()
--------idris.vim(6KB)
----doc()
--------idris-vim.txt(7KB)
----README.md(131B)
----after()
--------ftplugin()
--------syntax()
----syntax_checkers()
--------idris()
----ftdetect()
--------idris.vim(87B)
--------lidris.vim(41B)
----indent()
--------idris.vim(3KB)