Specified identity elements in semiring description
commiteaf014e6d5c450f49e9f47f1413c227122433611
authorpseudonom <pseudonom@users.noreply.github.com>
dateSat 28 Feb 2015, 15:44 (12 years ago)
parent51823ae
prelude/README.md+2−2
@@ -384,8 +384,8 @@ class Semiring a where
384384
385385Addition and multiplication, satisfying the following laws:
386386
387−- `a` is a commutative monoid under addition
388−- `a` is a monoid under multiplication
387+- `a` is a commutative monoid under addition with identity element zero
388+- `a` is a monoid under multiplication with identity element one
389389- multiplication distributes over addition
390390- multiplication by `zero` annihilates `a`
391391