Grove: New Foundations for Collaborative Editing
We are developing a new semantics for collaborative editing that dispenses with diff-and-merge in favor of a commutative structure edit language. This resolves a number of problems, particularly related to relocation conflicts, and opens up new design avenues for a computational commons.