> 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 _______________________________________________ darcs-users mailing list darcs-users@osuosl.org https://lists.osuosl.org/mailman/listinfo/darcs-users