Am 29.06.20 um 19:12 schrieb James Cook: >> Another problem is that even supposing commutation does not change prim >> patches, in darcs you still have conflictors. And conflictors >> /definitely/ have to change representation when we commute them: the >> merge-commute law obviously requires that.
== Prologue == This is a story about how to extend a patch theory into one where any sequence of patches can be permuted into any other order. In particular, this means every merge is a clean merge in the new theory. One small catch: after a conflict, it's not possible to continue applying