[darcs-users] How to extend a patch theory to fully commute

[James Cook]

> BTW, you don't say it explicitly, but since in several places you refer
> to names, I was assuming that in your theory prim patches are always named.

Yes, I'm assuming every prim patch has a unique name. Part of the
tuple encoding an extended patch is the name of a prim patch. That
could be used as the extended patch's name.

James