diff options
Diffstat (limited to 'documentation/bookmark/concurrency/crdt_conflict_free_replicated_data_types.md')
| -rw-r--r-- | documentation/bookmark/concurrency/crdt_conflict_free_replicated_data_types.md | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/documentation/bookmark/concurrency/crdt_conflict_free_replicated_data_types.md b/documentation/bookmark/concurrency/crdt_conflict_free_replicated_data_types.md index 320b06496..a68990d83 100644 --- a/documentation/bookmark/concurrency/crdt_conflict_free_replicated_data_types.md +++ b/documentation/bookmark/concurrency/crdt_conflict_free_replicated_data_types.md @@ -1,5 +1,6 @@ # Reference -1. [Automerge: A New Foundation for Collaboration Software — Martin Kleppman](https://www.youtube.com/watch?v=UUGdMHrdzIU) -1. [Automerge](https://github.com/automerge/automerge) +0. [Katara: Synthesize CRDTs from classic data types with verified lifting!](https://github.com/hydro-project/katara) +0. [Automerge: A New Foundation for Collaboration Software — Martin Kleppman](https://www.youtube.com/watch?v=UUGdMHrdzIU) +0. [Automerge](https://github.com/automerge/automerge) |