aboutsummaryrefslogtreecommitdiff
path: root/documentation/bookmark/concurrency
diff options
context:
space:
mode:
Diffstat (limited to 'documentation/bookmark/concurrency')
-rw-r--r--documentation/bookmark/concurrency/crdt_conflict_free_replicated_data_types.md5
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)