[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