add explanation to sidebar

dada-lang · Oct 28, 2023 · 382f6d1 · 382f6d1
1 parent 6788b01
commit 382f6d1
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/book/sidebars.js b/book/sidebars.js
@@ -63,6 +63,7 @@ const sidebars = {
         "design_docs/calculus",
         "design_docs/sketchy_ideas",
         "design_docs/sharing_synthesized_values",
+        "design_docs/why_not_explicit_end_for_lease",
         "reference",
       ],
     },