idris-vimscript
idris-vimscript copied to clipboard
Tail-call optimisation doesn't work for mutually recursive functions