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
