owickstrom / idris-vimscript

Compile Idris to Vimscript, like you always wanted.
Other
130 stars 5 forks source link

Improve README #13

Closed mrkgnao closed 6 years ago

owickstrom commented 6 years ago

Nice, thanks! 👍