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