Jason Dagit wrote:
My recent M.S. thesis covered darcs witness types. It focuses on our witness types, but chapter 3 provides an alternative overview of patch theory, sorry no proofs though. You can find a copy of my thesis here: http://files.codersbase.com/thesis.pdf and some slides: http://files.codersbase.com/thesistalk.pdf
Thanks! The first 40 pages should go a long way for me. I'll read at least those. The rest will probably be over my head.
You might also find it interesting to read about camp, which also uses patches: http://projects.haskell.org/camp/ and darcs get http://code.haskell.org/camp/devel/paper/
Is it *planned* that Camp will become Darcs 3? Who is behind Camp? Is David R in Camp?
I hope that answers your questions,
For the second question I'm still unsure. Can you imagine any way that a patch could be digitally hashed or signed? How does Darcs identify patches anyways? I notice that the file name has a hash sum. But that's a hash sum of what? If someone pulls from me, will that hash be the same? Or will Darcs change it?
Daniel. _______________________________________________ darcs-users mailing list [email protected] http://lists.osuosl.org/mailman/listinfo/darcs-users
