diff --git a/README.md b/README.md
index b66f3c9b9d52bf9a769a894e2ef24ceeb247dc4b..0505dbb605d87d93ee9c0c59f0a30b7e0bd8139c 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