For anyone interested in CRDT, I can recommend the deep-dive writeup to Raph Levien's Xi editor:

https://xi-editor.github.io/xi-editor/docs.html