CRDTs: How Google Docs Lets Two People Edit Without Conflicts

You’ve used Google Docs. Two people editing simultaneously. No conflicts. No “someone else changed this” dialogs.