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
_______________________________________________
darcs-users mailing list
[email protected]
http://lists.osuosl.org/mailman/listinfo/darcs-users
