[darcs-users] Formal documentation

[Iago Abal]

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 <mpolney at 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 at darcs.net
> http://lists.osuosl.org/mailman/listinfo/darcs-users
>



-- 
Iago Abal Rivas
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.osuosl.org/pipermail/darcs-users/attachments/20110203/b948a402/attachment.html>