vim idris:对SpaceVim的idris支持源码

qqcluster29770 13 0 ZIP 2021-02-15 23:02:47

vim-idris:对SpaceVim的idris支持

vim-idris-master.zip (预估有个12文件)

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

idris.vim 22B

syntax

idris.vim 3KB

syntax_checkers

idris

idris.vim 2KB

ftdetect

idris.vim 87B

lidris.vim 41B

indent

idris.vim 3KB

暂无评论

vim plugin Vim的风筝插件源码

适用于Vim / Neovim的Kite Python插件 Kite是一款由AI驱动的编程助手,可帮助您在Vim中编写Python代码。 Kite通过在正确的时间向您显示正确的信息来帮助您更快地编写代

24 2021-05-10
vim conf我的Vim配置源码

vim-conf:我的Vim配置

12 2021-04-20
vim eslint ESLint的Vim插件源码

vim-eslint:ESLint的Vim插件

23 2021-02-27
.vim保持我的vim设置源码

.vim:保持我的vim设置

14 2021-04-01
vim tidal TidalCycles的Vim插件源码

vim-tidal:TidalCycles的Vim插件

12 2021-02-24
.vim我最新的vim设置源码

.vim:我最新的vim设置

16 2021-04-18
vim config我的Vim配置源码

Derek Wyatt的Vim配置是的,这是一个vim配置。要安装它,请执行以下操作: 清除~/.vimrc文件和~/.vim目录(如果需要,请备份) git clone https://gith

34 2021-02-22
vim rc Vim的最小配置源码

vimrc Vim的最小配置。先决条件您将需要以下内容。管理插件安装运行以下内容以开始。 git clone https://github.com/benthorner/vim-rc.git

25 2021-02-21
zeavim.vim Vim的热情源码

zeavim.vim:Vim的热情

8 2021-02-21
vim mastodon Vim的Mastodon客户源码

vim-mastodon:Vim的Mastodon客户

14 2021-02-18

vim idris:对SpaceVim的idris支持 源码