jwbuurlage / category-theory-programmers

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

Fix typo in Products, coproducts and ADTs. #10

Closed t-hund closed 6 years ago

t-hund commented 6 years ago

In subsection Products, I believe p_1 and p_2 should be composed with q instead of f and g .

jwbuurlage commented 6 years ago

Yes, absolutely. Thank you!