ipkg-vim. Syntax highlighting for Idris package files

github.com/vmchale/ipkg-vim
by @vmchale

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.