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.
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.
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.