json-joy icon indicating copy to clipboard operation
json-joy copied to clipboard

Published 20 hours ago • verified publisher icon streamich

JSON CRDT: Permanent Range Delete

Open streamich opened this issue 10 months ago • 0 comments

  • [ ] Implement the permanent range delete operation which deletes a range from RGA, without leaving tombstones, only the last element in the range is left as a tombstone.

streamich avatar Aug 31 '23 07:08 streamich