search

jwbuurlage / category-theory-programmers

Category theory in the context of (functional) programming
MIT License
513 stars 37 forks source link

Replaced Mu by Fix in cata definition #14

Closed jmgimeno closed 6 years ago

jmgimeno commented 6 years ago

Errors in types and expressions in catamorphism definitions (page 97).

jwbuurlage commented 6 years ago

Yes, thank you so much again! The code examples are messy here... Since there are working examples in the example directory, I should probably just copy them directly to the text...