Adding more motivation on Corecursion and the following abstractions #10
Description
From Mårten Rånge
I enjoy that page but I wonder if it could been helped by adding more motivation on Corecursion and the following abstractions. I think most devs follows up to that point but might end up confused by Corecursion, Transducers and F-Algebra. Also related to transducers maybe worth mentioning Church Encoded Lists?