If anyone’s interested in contributing to Wikipedia, here’s an opportunity. To fix some errant links, I’ve just created a stub page on corecursion. Unfortunately, I know almost nothing about the topic, so if you do, now’s your chance to show off.
Ars Mathematica
Dedicated to the mathematical arts.
A lot has happened to that page in 6 years
In a weird coincidence,a web search a couple of days ago put me back at your post linking to this post, making me reread your post, my post, and the Wikipedia article.
I was surprised to find out I didn’t know what corecursion was six years ago. Whenever I really learn something, I rewrite my mental history so that I imagine I learned it slightly after birth.