From e69408373e93a897a54ac32e16bcf35ae6b40c2a Mon Sep 17 00:00:00 2001
From: Johannes Hostert <jhostert@ethz.ch>
Date: Fri, 14 Mar 2025 17:21:25 +0100
Subject: [PATCH] add TB one-liner

---
 README.md | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/README.md b/README.md
index b66f3c9b..0505dbb6 100644
--- a/README.md
+++ b/README.md
@@ -64,6 +64,8 @@ The project follows the following structure below the `theories` folder:
     * `behavior.v` defines the notion of contextual refinement and expression well-formedness.
     * `adequacy.v` contains the resulting adequacy proof.
     * `examples` contains example optimizations, see below.
+- `tree_borrows` contains the Simuliris development of Tree Borrows.
+  This development has its own README in `tree_borrows/README.md`.
 
 
 ## Theorems, definitions, and examples referenced in the paper
-- 
GitLab