develooper 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


nntp.perl.org: Perl Programming lists via nntp and http.
Comments to Ask Bjørn Hansen at ask@perl.org | Group listing | About