From a02b7bf8ff358ccfa35b03272d28537aeac723ae Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Sat, 28 Nov 2020 19:45:56 -0400
Subject: Added "private" macro to lux/debug.

---
 documentation/bookmark/distributed_programming.md | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'documentation/bookmark/distributed_programming.md')

diff --git a/documentation/bookmark/distributed_programming.md b/documentation/bookmark/distributed_programming.md
index 916bdfcea..57802f081 100644
--- a/documentation/bookmark/distributed_programming.md
+++ b/documentation/bookmark/distributed_programming.md
@@ -59,6 +59,7 @@
 
 # Programming language
 
+1. [Choral: a choreographic programming language](https://www.choral-lang.org/)
 1. ["Unison: a new distributed programming language" by Paul Chiusano](https://www.youtube.com/watch?v=gCWtkvDQ2ZI)
 1. http://radicle.xyz/
 1. [Lambda World 2018 - Introduction to the Unison programming language - Rúnar Bjarnason](https://www.youtube.com/watch?v=rp_Eild1aq8)
@@ -83,6 +84,7 @@
 
 # Logical clock
 
+1. [Interval Tree Clocks](https://ferd.ca/interval-tree-clocks.html)
 1. [Version Vectors are not Vector Clocks](https://haslab.wordpress.com/2011/07/08/version-vectors-are-not-vector-clocks/)
 1. [Distributed Systems: Physical, Logical, and Vector Clocks](https://levelup.gitconnected.com/distributed-systems-physical-logical-and-vector-clocks-7ca989f5f780)
 1. [The Bloom Clock](https://arxiv.org/pdf/1905.13064.pdf)
-- 
cgit v1.2.3