codekingpro/portable-devtools

1" Vim ftplugin file2" Language:	   Idris 23" Last Change: 2024 Nov 054" Maintainer:  Idris Hackers (https://github.com/edwinb/idris2-vim), Serhii Khoma <srghma@gmail.com>5" License:     Vim (see :h license)6" Repository:  https://github.com/ShinKage/idris2-nvim7"8" Based on ftplugin/idris2.vim from https://github.com/edwinb/idris2-vim9 10if exists("b:did_ftplugin")11  finish12endif13 14setlocal shiftwidth=215setlocal tabstop=216 17" Set g:idris2#allow_tabchar = 1 to use tabs instead of spaces18if exists('g:idris2#allow_tabchar') && g:idris2#allow_tabchar != 019  setlocal noexpandtab20else21  setlocal expandtab22endif23 24setlocal comments=s1:{-,mb:-,ex:-},:\|\|\|,:--25setlocal commentstring=--\ %s26 27" makes ? a part of a word, e.g. for named holes `vzipWith f [] [] = ?vzipWith_rhs_3`, uncomment if want to reenable28" setlocal iskeyword+=?29 30setlocal wildignore+=*.ibc31 32let b:undo_ftplugin = "setlocal shiftwidth< tabstop< expandtab< comments< commentstring< iskeyword< wildignore<"33 34let b:did_ftplugin = 135