23 Oct
2010
23 Oct
'10
9:01 p.m.
Alexey Khudyakov <alexey.skladnoy@gmail.com> writes:
However when written this way it becomes obvious that `zeroV' == `mempty' and ^+^ = mappend. Is Additive really needed then?
If your type is a ring, you have two monoids; how would you choose? G -- Gregory Collins <greg@gregorycollins.net>