31 May
2007
31 May
'07
12:04 a.m.
What is the basic philosophy for Bool being a member of Ord? What justifies False < True?
The implication ordering, which on this smallest non-trivial Boolean algebra happens to be a linear order, is therefore the natural candidate for Ord, the type class of ``default linear orders''. False ==> True Wolfram