typo in Commutative docs?

morganthomas / purescript-group

Algebraic groups for PureScript.

Apache License 2.0

6 stars 6 forks source link

Closed matthewleon closed 6 years ago

matthewleon commented 6 years ago

"Instances must satisfy the following law in addition to the group laws:"

This should probably say "semigroup laws" rather than "group laws", no?

hrb90 commented 6 years ago

good catch!