From c9ed7e71c2d90511d524239783b77fec73866768 Mon Sep 17 00:00:00 2001
From: Marshall Lochbaum <mwlochbaum@gmail.com>
Date: Sun, 6 Sep 2020 22:28:06 -0400
Subject: Specification for Undo modifier

---
 docs/spec/index.html | 1 +
 1 file changed, 1 insertion(+)

(limited to 'docs/spec/index.html')

diff --git a/docs/spec/index.html b/docs/spec/index.html
index f61bc5a1..8a7d2a69 100644
--- a/docs/spec/index.html
+++ b/docs/spec/index.html
@@ -15,5 +15,6 @@
 <li><a href="scope.html">Variable scoping</a></li>
 <li><a href="evaluate.html">Evaluation semantics</a></li>
 <li>Primitives (<a href="https://github.com/mlochbaum/BQN/blob/master/spec/reference.bqn">reference implementations</a>)</li>
+<li><a href="inferred.html">Inferred properties</a> (type, Undo, and Under)</li>
 </ul>
 
-- 
cgit v1.2.3