3 ms·
Isn't that coinductive recursion? "corecursion" is usually a recursion that goes via multiple definitions.
by Peaker 12y ago
Isn't that coinductive recursion?
"corecursion" is usually a recursion that goes via multiple definitions.
- vilhelm_s 12y agoIn the context of Coq, the word "corecursion" is always used for coinductive recursion. I guess a Coq programmer would call what you describe "mutual recursion".