edwinb/Idris-dev — pull request #51 by raichoo (2012-09-23 20:17:25+00:00)
Title: completed vim tool support

adds indentation, filetype detection and ftplugin (to disable tabs)
added README