3 ms·I misused the term, yes: it should be "mutual recursion" not "corecursion", sorry.by codebje 8y agoI misused the term, yes: it should be "mutual recursion" not "corecursion", sorry.