Wikipedia on corecursion

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.

2 thoughts on “Wikipedia on corecursion

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

Comments are closed.