15 Mar
2008
15 Mar
'08
5:41 a.m.
On 2008-03-14, Robert Dockins <robdockins@fastmail.fm> wrote:
Blah, blah, blah, its all in the documentation. The point is that making loose assumptions about the meaning of the operations provided by Eq and Ord complicates things in ways that can't be made to go away.
Thanks. All of these seem to me to be a case of "Well, it's arbitrary, so we don't guarantee anything but that we did something consistent." Which seems perfectly reasonable, and not a problem at all. -- Aaron Denney -><-