[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Monotone-devel] Deterministic *-merge
From: |
Florian Weimer |
Subject: |
Re: [Monotone-devel] Deterministic *-merge |
Date: |
Fri, 12 Jan 2007 19:47:59 +0100 |
* 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.
- [Monotone-devel] Re: Deterministic *-merge, (continued)
- [Monotone-devel] Re: Deterministic *-merge, Oren Ben-Kiki, 2007/01/12
- [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 <=
[Monotone-devel] a little *-merge history, Lapo Luchini, 2007/01/23