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

[James Cook]

> I changed the definition of Context
> Address to work better with my new "patch universe" definition, but I
> think it amounts to the same thing.

Thinking about it more, I'm not sure my new definition of Context
Address is a good one, since I've been finding it hard to associate a
primitive context with every minimal context address in the same way I
did in the hms_patchfinder writeup.

It might be better to stick closer to my original definition of
context address. The proof should still be about as easy as the one in
the linked pdf: if a context address points to two different contexts,
you can conclude the contexts are equal because a name-balanced path
connects. them.

James