28 May
2011
28 May
'11
6:59 p.m.
On Sat, May 28, 2011 at 2:55 PM, Steven Watanabe <watanabesj@gmail.com>wrote:
I see the ability to use the other operators as a convenience more than anything else.
+1
I don't have the concepts proposal handy, but doesn't LessThanComparable have an axiom that requires that (a < b) is equivalent to (b > a)?
Yes. axiom Consistency(T a, T b) { (a > b) == (b < a); (a <= b) == !(b < a); (a >= b) == !(a < b); } -- -Matt Calabrese