On 2005.02.05.20.33, Autrijus Tang wrote:
| (I've just finished the pretty printing part in Pugs, so I'll use actual
| command line transcripts below. The leading "?" does not denote boolean
| context -- it's just telling pugs to do a big-step evaluation. Also,
| boolean literals are written in their Scheme forms.)
|
| In S06, the meaning of chaining comparison operators is defined as a
| derived form:
|
| (a < b < c) ==> (a < b) and (b < c)
unrelated to the overall topic, shouldn't this be
(a < b < c) ==> (a < b) and (b < c) and (a < c)
anyway? Sorry if I missed this discussed previously.
--Brock
