マルチユーザーテキストエディター

複数のユーザーがリアルタイムでドキュメントを編集できるコラボレーティブなGoogle Docsのようなテキストエディターでは、競合のない複製データ型（CRDT）を同期して使用し、スムーズで競合のないコラボレーションを可能にします。