Hm. I take that back... it was a silly comment to make and not very
mathematically sound. Sorry.
--Brock
----- Forwarded message from Brock <[EMAIL PROTECTED]> -----
Date: Tue, 8 Feb 2005 12:06:58 -0700
From: Brock <[EMAIL PROTECTED]>
To: Autrijus Tang <[EMAIL PROTECTED]>
Cc: perl6-language@perl.org
Subject: Re: Junctive puzzles.
User-Agent: Mutt/1.5.6+20040907i
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
----- End forwarded message -----
