====== Report on Darcs ======

As a follow-up to my report (15-mar-2012), here are some links which could be useful:

  * [[http://www.darcs.net/|Darcs homepage]] — download, manual
  * [[http://en.wikibooks.org/wiki/Understanding_Darcs|Understanding Darcs]] — a detailed introduction of features and patch theory (in layman's terms)
  * [[http://www.math.ucla.edu/~jjacobson/patch-theory/patch-semigroups.pdf|A Formalization of Darcs Patch Theory Using Inverse Semigroups]] and [[http://urchin.earth.li/~ian/theory.pdf|Darcs Patch Theory]] — good luck with these!

 --- //[[franoleg@gmail.com|Oleg Frantsuzov]] 2012/03/16 22:02//