issues
search
owickstrom
/
idris-vimscript
Compile Idris to Vimscript, like you always wanted.
Other
130
stars
5
forks
source link
Inline small functions
#10
Open
mrkgnao
opened
6 years ago