search

jwbuurlage / category-theory-programmers

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

Minor typo fixes, type check on `head :: [a] -> Maybe a` #24

Closed chrislambda closed 6 years ago

jwbuurlage commented 6 years ago

Hi Chris,

Thank you very much!

JW