Philippa Cowderoy wrote:
On Fri, 16 Jan 2009, Duncan Coutts wrote:
If you or anyone else has further concrete suggestions / improvements
then post them here now! :-)
Spell out what associativity means
It probably makes sense to do as Jeremy Shaw suggests and explicitly
list the monoid laws, which would include the associative equality, but
there really shouldn't be any other text in the definition of Monoid
devoted to explaining what associativity means. Instead, linking words
like "associative" to a definition in a glossary would make sense.
Anton
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe