The short answer is no. The wiki mentions some papers that you can read (they are interesting for understanding Darcs basis) but no one specifies Darcs implementation (please let me know if you find one :). If you want to understand Darcs you have to read its code. I have made a work in which I have modeled Darcs *implementation* of *primitive patches* and their operations using relational logic / Alloy modeling language, but as I said, it only describes how primitive patches work. I will put that work online in short but I think you will prefer to just read the plain Haskell code, since primitive patches related code is quite understandable. Finally, AFAIK only 2-3 people fully understand Darcs patch theory implementation(1), and the only available "documentation" about some Darcs advanced topics are some discussions in some old Darcs mailing list.
I would like to know why are you interested in Darcs patch algebra. Please let us (at least "me") know if you plan some work on Darcs! (1) Please correct me if I am wrong but that's what I know from #darcs talks. On Wed, Feb 2, 2011 at 11:00 AM, Michael Olney <mpol...@gmail.com> wrote: > Hi, > > Is the instance of Darcs' patch algebra that the software itself is > intended to implement documented formally anywhere? > > - Michael > _______________________________________________ > darcs-users mailing list > darcs-users@darcs.net > http://lists.osuosl.org/mailman/listinfo/darcs-users > -- Iago Abal Rivas
_______________________________________________ darcs-users mailing list darcs-users@darcs.net http://lists.osuosl.org/mailman/listinfo/darcs-users
