git.iko.soy/Idris-dev
on aa7262e help sign in
Idris-dev/contribs/tool-support/vim
4 folders, 1 file
../ ftdetect/added vim ftdetect ftplugin/added vim ftplugin indent/fixed vim indentation syntax/vim: added postulate to highlighter READMEadded vim README