Added Idris plugin

kevinkjt2000 · Dec 10, 2016 · 2aae0ce · 2aae0ce
1 parent 659f2db
commit 2aae0ce
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/vimrc b/vimrc
@@ -15,6 +15,7 @@ call vundle#begin(s:plugin_path)
   Plugin 'davidhalter/jedi-vim'
   Plugin 'nfvs/vim-perforce'
   Plugin 'Yggdroot/LeaderF'
+  Plugin 'idris-hackers/idris-vim'
 call vundle#end()
 
 set showtabline=2     " always show tab pages line