[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Monotone-devel] Deterministic *-merge
From: |
Nathaniel J. Smith |
Subject: |
Re: [Monotone-devel] Deterministic *-merge |
Date: |
Fri, 12 Jan 2007 16:23:07 -0800 |
User-agent: |
Mutt/1.2.5.1i |
On Fri, Jan 12, 2007 at 07:47:59PM +0100, Florian Weimer wrote:
> * Nathaniel J. Smith:
>
> > This is where "key idea 2" comes in again. Let's define an
> > equivalence relation ~, as:
> > for all x and y that are not equal to #, x ~ y iff x = y.
> > for all x, # ~ x is always true.
> > Or in words: every normal value is "similar" to itself, plus, # is
> > similar to _everything_.
>
> All objects are equivalent if ~ is in fact an equivalence relation.
> But I don't think this is a problem.
Err, right. Thanks, good point. What we want here is really a
partial order relation anyway, as per the parenthetical paragraph of
technicalness. So, uh, anyone who cares about such details should
just ignore the thing about ~ and read the parenthetical paragraph.
-- Nathaniel
- [Monotone-devel] Re: Deterministic *-merge, (continued)
- [Monotone-devel] Re: Deterministic *-merge, Timothy Brownawell, 2007/01/12
- [Monotone-devel] Re: Deterministic *-merge, Oren Ben-Kiki, 2007/01/12
- Re: [Monotone-devel] Re: Deterministic *-merge, Nathaniel J. Smith, 2007/01/12
- Re: [Monotone-devel] Re: Deterministic *-merge, Oren Ben-Kiki, 2007/01/13
- [Monotone-devel] Re: Deterministic *-merge, Lapo Luchini, 2007/01/23
Re: [Monotone-devel] Deterministic *-merge, Justin Patrin, 2007/01/12
Re: [Monotone-devel] Deterministic *-merge, Florian Weimer, 2007/01/12
- Re: [Monotone-devel] Deterministic *-merge,
Nathaniel J. Smith <=
[Monotone-devel] a little *-merge history, Lapo Luchini, 2007/01/23