Rare find

idris-vimscript. Compile Idris to Vimscript, like you always wanted.

github.com/owickstrom/idris-vimscript
by @owickstrom

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.