├── README.md ├── after ├── ftplugin │ └── idris.vim └── syntax │ └── idris.vim ├── doc └── idris-vim.txt ├── ftdetect ├── idris.vim └── lidris.vim ├── ftplugin └── idris.vim ├── indent └── idris.vim ├── syntax ├── idris.vim └── lidris.vim └── syntax_checkers └── idris └── idris.vim /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/idris-hackers/idris-vim/HEAD/README.md -------------------------------------------------------------------------------- /after/ftplugin/idris.vim: -------------------------------------------------------------------------------- 1 | setlocal iskeyword+=' 2 | -------------------------------------------------------------------------------- /after/syntax/idris.vim: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/idris-hackers/idris-vim/HEAD/after/syntax/idris.vim -------------------------------------------------------------------------------- /doc/idris-vim.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/idris-hackers/idris-vim/HEAD/doc/idris-vim.txt -------------------------------------------------------------------------------- /ftdetect/idris.vim: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/idris-hackers/idris-vim/HEAD/ftdetect/idris.vim -------------------------------------------------------------------------------- /ftdetect/lidris.vim: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/idris-hackers/idris-vim/HEAD/ftdetect/lidris.vim -------------------------------------------------------------------------------- /ftplugin/idris.vim: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/idris-hackers/idris-vim/HEAD/ftplugin/idris.vim -------------------------------------------------------------------------------- /indent/idris.vim: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/idris-hackers/idris-vim/HEAD/indent/idris.vim -------------------------------------------------------------------------------- /syntax/idris.vim: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/idris-hackers/idris-vim/HEAD/syntax/idris.vim -------------------------------------------------------------------------------- /syntax/lidris.vim: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/idris-hackers/idris-vim/HEAD/syntax/lidris.vim -------------------------------------------------------------------------------- /syntax_checkers/idris/idris.vim: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/idris-hackers/idris-vim/HEAD/syntax_checkers/idris/idris.vim --------------------------------------------------------------------------------