Usage
React
Effect stream
API
Conflict semantics
- Concurrent inserts at the same position are ordered by author ID (deterministic, total order)
- Concurrent delete + insert: the insert survives — deletions only remove characters that existed at the time of the delete op
- Idempotent: applying the same op twice has no effect
CRDT key prefix
Use therg: prefix by convention: