On Sun, 12 Apr 2009, Daniel Carrera wrote:
* Reliable - Patch Commutation is more reliable than the traditional 3-way merge because it is built on a sound foundation of mathematical theory. But you don't need to know the theory to use Darcs.
I would recommend being careful about the "sound foundation of mathematical theory" claim, because such a thing doesn't really exist yet. All we have are a bunch of axioms/properties that we think should form a nice theory, but noone's actually pinned down the details. Hopefully in time the Camp work will do this.
Ganesh _______________________________________________ darcs-users mailing list [email protected] http://lists.osuosl.org/mailman/listinfo/darcs-users
