jwbuurlage / category-theory-programmers

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

Redacted definition 4.3 #17

Closed argent0 closed 6 years ago

argent0 commented 6 years ago

I changed the wording of definition 4.3 to include verbs.

jwbuurlage commented 6 years ago

Thank you!