/idris2-vim

Vim mode for Idris 2

Primary LanguageVim Script

Watchers