search

morganthomas / purescript-group

Algebraic groups for PureScript.
Apache License 2.0
6 stars 6 forks source link

loosen entailment for commutativeAdditive #8

Closed matthewleon closed 6 years ago

matthewleon commented 6 years ago

Only a semiring instance, not a ring, is required.

matthewleon commented 6 years ago

Ah, I see I was beat to this: https://github.com/morganthomas/purescript-group/pull/4