Chronofold data structure in Purescript.
Work is currently done in the open on Twitch: https://twitch.tv/junxan and archived on Youtube: https://www.youtube.com/channel/UCE5-DI3ORnWqPyiiKFLrTGg
find out about other declarative programming streamers https://fpers.vercel.app/
TBD
TBD
Check with author and rust implementation:
- unclear which operations are on on write and/or on read:
- linked list relinking
- preemptive CT sibling insertion
- the timestamp of a new locally authored op is greater than other timestamps in the log. That excludes the case of preemptive siblings, so ndx−1α is not needed. The index of the preceding character should be already known, so ndxα is not needed either.
- Don't we need ndxInv to check if the op is an insertion or an append?