issues
search
owickstrom
/
idris-vimscript
Compile Idris to Vimscript, like you always wanted.
Other
130
stars
5
forks
source link
make should recompile examples when Idris library changes
#20
Closed
mrkgnao
closed
6 years ago