Re: lt tag method should be leq (to work for partial orders)
[
Date Prev][
Date Next][
Thread Prev][
Thread Next]
[
Date Index]
[
Thread Index]
- Subject: Re: lt tag method should be leq (to work for partial orders)
- From: Reuben Thomas <rrt@...>
- Date: 2002年1月14日 11:23:15 +0000 (GMT)
> The only problem is that the definition about of < involves two
~~~~~
about => above. oops
--
http://sc3d.org/rrt/ | art, n. romanticized mundanity