[darcs-users] darcs-like tool

Max Battcher me at worldmaker.net
Thu May 28 00:00:13 UTC 2009


Maurício wrote:
> Do you know that talk at google? What is that
> system? Do you know what is the relationship it has
> with darcs?

Perhaps you are thinking about Camp:

http://projects.haskell.org/camp/

This is Ian Lynagh's sandbox where he is working on what many believe to 
be the basis for darcs' 3rd Iteration of Patch Theory. He and others are 
seeking to prove (mathematically) basic elements of the Patch Theory 
bottom up and as much as possible test it for "theoretical correctness" 
before attempting to merge such things back into darcs.

Ian made a nice video on darcs/camp-style merging/cherry-picking, which 
may be that video you were thinking of (albeit it is not a "Google 
Talk", so I'm sure):

http://projects.haskell.org/camp/unique

--
--Max Battcher--
http://worldmaker.net


More information about the darcs-users mailing list