/idris-vim

Idris mode for vim

Primary LanguageVim Script

Watchers