On Mon, Sep 08, 2008 at 10:48:27AM +0100, Ian Lynagh wrote: > The theory description has also been slowly improving since my last > mail. The build-up, sections 1-7, should now be much more readable; > following discussions in #darcs-theory, I plan to add something about > minimal contexts, and perhaps also posets, which should help with the > proofs. Section 8, and in particular the definition of conflictor > commute, still needs some more restructuring. Formal proofs are still > conspicuous by their absence.
It might be worth mentioning in your documentation that while the internals are similar to darcs 2, the semantics that you're implementing is the semantics of darcs 1. That would be more honest than to say that your theory is similar to that of darcs 2. David _______________________________________________ darcs-users mailing list [email protected] http://lists.osuosl.org/mailman/listinfo/darcs-users
