1 Jul
2009
1 Jul
'09
10:53 a.m.
On 1 Jul 2009, at 16:46, Edward Kmett wrote:
I'm rather fond of the (<>) suggestion, but would be happy with anything better than mappend! ;)
I find it rather ugly, it has a lot of connotations of "does not equals" from other languages. Personally I'm in favor of <+>, simply because it looks most like a circle with a plus in it. Bob