Yep. And, to point it out, good CRDTs have all the information they need to implement all of this. Git marks conflicts when merging. CRDTs could do the same, b

Yep. And, to point it out, good CRDTs have all the information they need to implement all of this. Git marks conflicts when merging. CRDTs could do the same, but I don't know any which have implemented this stuff yet.