On to Hydro
Thu, 17 Aug 2000 19:45:22 -0400
I am going to have to take some time to digest this, but for now, I
have one peek-ahead question.
> The primary comparison operator we used was '<='.
If E used the method names and contracts that I suggested, would the
presence of a full ordering '<' inhibit the use of a partial ordering
'<='? Put another way, does '<' have some different meaning in a world
with only partial orders?
Do You Yahoo!?
Get your free @yahoo.com address at http://mail.yahoo.com