7 Dec
2009
7 Dec
'09
1:05 a.m.
allbery:
On Dec 6, 2009, at 00:29 , Gwern Branwen wrote:
If we have to re-export, might as well just keep a a line like '(<+>) = mappend'. This is definitely not worth breaking configs over.
That *was* my original suggestion, which dons dropped, apparently misinterpreting my reaction (which was supposed to mean "I don't see it as a big deal given that we can just make <+> = mappend").
No no, I support that we just keep (<+>) in there for now. -- Don