Compile Idris to Vimscript, like you always wanted. - View it on GitHub
Star
133
Rank
243576