Re: Write-up on "tree repositories" as an alternative to conflictors

On Sat, Dec 05, 2020 at 06:50:45PM +0100, Ben Franksen wrote:
> Hi James
> 
> Thanks for your answers. It appears I had a completely wrong intuition
> about what a tree patch is. I was under the impression that it roughly
> corresponds to Darcs' named patches (changesets), but your definition
> seems to be a lot more general.
> 
> Cheers
> Ben

I went through a couple of simpler definitions before I settled on this
one. Unfortunately the simpler definitions didn't have the properties I
wanted (e.g. Corollary 2: there should be a tree patch corresponding to
any merge resolution).

I'm tempted to try implementing this. I'm not sure my current tree
patch definition is the right choice, but maybe things will become more
clear if I actually try to use them. Not sure if I'll have time,
though.

-- 
James