Corecursion

3 points | by nomilk 18 hours ago