Don't forget Darcs, which is the original implementation of patch theory. I read somewhere that it used to be dismissed because of quadratic complexity on some

Don't forget Darcs, which is the original implementation of patch theory. I read somewhere that it used to be dismissed because of quadratic complexity on some operation but that this has been solved quite some time ago. Edit: Correcting myself (and go do your own research, I'm not even remotely involved in any of these things): > Darcs 2 recently [2020] solved the exponential merge, but it is now quadratic (which is still exponentially slower than Pijul instead of double-exponentially) https://news.ycombinator.com/item?id=25473473 https://news.ycombinator.com/item?id=25473473