Report on Darcs

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

• Darcs homepage — download, manual
• Understanding Darcs — a detailed introduction of features and patch theory (in layman's terms)
• A Formalization of Darcs Patch Theory Using Inverse Semigroups and Darcs Patch Theory — good luck with these!

— Oleg Frantsuzov 2012/03/16 22:02