This is the mail archive of the cygwin-apps@cygwin.com mailing list for the Cygwin project.
Index Nav: | [Date Index] [Subject Index] [Author Index] [Thread Index] | |
---|---|---|
Message Nav: | [Date Prev] [Date Next] | [Thread Prev] [Thread Next] |
Other format: | [Raw text] |
On Mon, 2003-03-17 at 07:26, Robert Collins wrote: > > Transitivity > > x < y and y < z implies x < z [3] > > y:= foo: gam > x:= gam > z:= bar: foo > > both our operators give > x < y && y < z && !x < z > (dep) (dep) (alpha) and !x < z for the dependency only < operator too. > which isn't transitive. Rob -- GPG key available at: <http://users.bigpond.net.au/robertc/keys.txt>.
Attachment:
signature.asc
Description: This is a digitally signed message part
Index Nav: | [Date Index] [Subject Index] [Author Index] [Thread Index] | |
---|---|---|
Message Nav: | [Date Prev] [Date Next] | [Thread Prev] [Thread Next] |