Front page | perl.perl6.language |
Postings from March 2009
Re: Junction Algebra
Thread Previous
From:
Patrick R. Michaud
Date:
March 28, 2009 09:24
Subject:
Re: Junction Algebra
Message ID:
20090328162420.GC19245@pmichaud.com
On Sat, Mar 28, 2009 at 10:19:31AM -0500, Patrick R. Michaud wrote:
> On Sat, Mar 28, 2009 at 02:08:22PM +0300, Richard Hainsworth wrote:
> > 3) Conjecture: The following is true of all junction types, eg.,
> > junc(..., junc(...)) === junc(..., ...)
>
> The conjecture is false for one/none junctions:
>
> one(0, one(1, 1)) # true
> one(0, 1, 1) # false
Boy, I typoed that one. I meant to write:
one(1, one(1, 1)) # true
one(1, 1, 1) # false
Pm
Thread Previous