gentoo.mahdi.cz
app-vim
:idris2-vim
Vim mode for Idris 2
https://github.com/edwinb/idris2-vim/
idris2-vim-9999
BSD3
download
~amd64 ~x86
buzden