[darcs-users] A formalization of Darcs patch theory using inverse semigroups (apfelmus)

Florent Becker florent.becker at ens-lyon.org
Fri Oct 30 13:39:40 UTC 2009

> How can X and Y combine to create something that conflicts with the
> transformation represented by Z?  I'm sort of rushing here as I don't have
> a
> lot of time to dedicate to this right now.  Perhaps can you construct a
> proof either way?
If I remember correctly, in the camp paper, that would correspond to the 
"commute consistent" axiom. As far as i know, it cannot be deduced from 
permutivity, ie it is really an axiom, but you don't need to introduce 
merging, it is purely a property of commute.


More information about the darcs-users mailing list