From d656ef2143151a1d78768df4562e5275dff67b9d Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Tue, 15 Nov 2022 14:06:17 -0400 Subject: Added LineNumberTable annotations to functions when compiling for the JVM. --- .../bookmark/concurrency/crdt_conflict_free_replicated_data_types.md | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) (limited to 'documentation/bookmark/concurrency') 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) -- cgit v1.2.3