[darcs-users] A formalization of Darcs patch theory using inverse semigroups (apfelmus)
igloo at earth.li
Fri Oct 30 16:40:43 UTC 2009
On Fri, Oct 30, 2009 at 04:20:52PM +0100, Heinrich Apfelmus wrote:
> some of which are hitherto unknown, and if you introduce a new patch
> type, it might just not be possible to make it obey the patch laws.
I think the only thing you have to do is to make sure the new patches
are invertible. Everything else you can satisfy by making your patches
not commute with anything, although you would normally want to be as
permissive as possible.
More information about the darcs-users