Isn't Darcs based on some kind of "theory of patches" too? That was the whole selling point versus Git, that Git takes snapshots and calculates diffs, while Darcs takes diffs and calculates snapshots.