Open jchris opened 6 months ago
the index currently only supports CRDT merge, when you zoom to a different head, the index is reset. Perhaps we could be more efficient.
constructing diffs for arbitrary pairs of CRDT heads should be doable
the index currently only supports CRDT merge, when you zoom to a different head, the index is reset. Perhaps we could be more efficient.