[darcs-users] A formalization of Darcs patch theory using inverse semigroups (apfelmus)
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
> 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