idris-vimscript icon indicating copy to clipboard operation
idris-vimscript copied to clipboard

Tail-call optimisation doesn't work for mutually recursive functions

Open mrkgnao opened this issue 8 years ago • 0 comments

mrkgnao avatar Dec 04 '17 12:12 mrkgnao