git can "squash" revisions because diffs compose. Is there research on how to do this for semantic changes? I don't really know what to search for, or where.
Maybe CRDT papers are relevant?
Conversation
Replying to
Darcs has a "theory of patches" darcs.net/Theory, pijul.org also I think, but I'm not really familiar with them.
1
2
Curious to hear what you find! I'm still very interested in them.