search

owickstrom / idris-vimscript

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

`show` seems broken #5

Open mrkgnao opened 6 years ago

mrkgnao commented 6 years ago

I think we have some recursion troubles here. Will add more info later.