Re: How to extend a patch theory to fully commute

James Cook <[email protected]> Wed, 1 Jul 2020 18:13:37 +0000

Newsgroups	gmane.comp.version-control.darcs.user
Message-ID	<CAHpmPODMAoKAaX4Dv3UjRSP2ns44XWRen=gjq2YQdn7c-0h=Rg@mail.gmail.com>

> 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