issues
search
owickstrom
/
idris-vimscript
Compile Idris to Vimscript, like you always wanted.
Other
130
stars
5
forks
source link
Add call for contributors to README
#14
Closed
mrkgnao
closed
6 years ago
mrkgnao
commented
6 years ago
I was actually working on this in #13 when the PR got merged. :P
I was actually working on this in #13 when the PR got merged. :P