git.iko.soy/Idris-dev
on master help sign in
added vim README
ee056caraichoo
contribs/tool-support/vim/READMEnew file+8
compare with master
unifiedsplit
@@ -0,0 +1,8 @@
1+Copy content into your ~/.vim directory.
2+
3+Be sure that the following lines are in your
4+.vimrc
5+
6+syntax on
7+filetype on
8+filetype plugin indent on