Gentoo Portage Overlays - app-vim/idris2-vim

Newest News Repository news GLSAs Browse USE Flags Overlays More...

app-vim/idris2-vim

Vim mode for Idris 2

Screenshots

https://github.com/edwinb/idris2-vim/

idris2-vim-9999

View

Download

Browse License:

Overlay: buzden

ChangeLog USE Flags Dependencies Reverse Deps Related Bugs