Compile Idris to Vimscript, like you always wantedgithub.com/owickstrom14 pointsadamnemecek9 years ago