It's a familiar concept to most people, though: most people understand that people have parents, grandparents, greatgrandparents, and so on.
(Maybe a bad example; I feel like it shows that people are familiar with coinduction.)
(Maybe a bad example; I feel like it shows that people are familiar with coinduction.)
No comments yet.