issues
search
owickstrom
/
idris-vimscript
Compile Idris to Vimscript, like you always wanted.
Other
130
stars
5
forks
source link
Tail-call optimisation doesn't work for mutually recursive functions
#11
Open
mrkgnao
opened
6 years ago