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