diff options
| author | Eduardo Julian | 2022-11-15 14:06:17 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2022-11-15 14:06:17 -0400 |
| commit | d656ef2143151a1d78768df4562e5275dff67b9d (patch) | |
| tree | 554f6e64c09654e0faeeed3662183c63c35cf514 /documentation/bookmark/concurrency | |
| parent | 4c765d22bd0a2e5271bf350745ed29f66bfbb96a (diff) | |
Added LineNumberTable annotations to functions when compiling for the JVM.
Diffstat (limited to 'documentation/bookmark/concurrency')
| -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) |