/idris2-vim

Vim mode for Idris 2

Primary LanguageVim script

Watchers