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.
This has been bothering me for the last 18 months. I now understand corecursion. The next stage will be to write a wikipedia article on it…
And now I’ve written it up here. Still not “encyclopaedic” enough for a Wikipedia article though.