Compile Idris to Vimscript, like you always wanted. - View it on GitHub