Corecursion, codata, learning by teachingblog.daniellobato.me4 points·eLobato··0 commentsOpen articleSaveView on HN