cola: a text CRDT for real-time collaborative editing

A deep dive into the theoretical framework and the technical implementation of a text CRDT.