From c7764d31ac245d2307cd873020a3e0b0a355610f Mon Sep 17 00:00:00 2001
From: Marshall Lochbaum <mwlochbaum@gmail.com>
Date: Mon, 14 Dec 2020 10:22:37 -0500
Subject: =?UTF-8?q?Have=20to=20check=20the=20result=20of=20=F0=9D=94=BD?=
 =?UTF-8?q?=E2=81=BC,=20not=20just=20apply=20it,=20to=20validate=20?=
 =?UTF-8?q?=F0=9D=94=BD=E2=81=BC=E2=81=BC=20result?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 docs/spec/inferred.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'docs/spec')

diff --git a/docs/spec/inferred.html b/docs/spec/inferred.html
index 3733016f..902cb6a8 100644
--- a/docs/spec/inferred.html
+++ b/docs/spec/inferred.html
@@ -296,7 +296,7 @@
 </tr>
 <tr>
 <td><code><span class='Modifier'>⁼</span></code></td>
-<td><code><span class='Brace'>{</span><span class='Function'>𝔽</span><span class='Modifier'>⁼</span><span class='Modifier2'>⊸</span><span class='Function'>⊢</span><span class='Modifier2'>∘</span><span class='Function'>𝔽</span><span class='Brace'>}</span></code></td>
+<td><code><span class='Brace'>{</span><span class='Value'>r</span><span class='Gets'>←</span><span class='Function'>𝔽</span><span class='Value'>𝕩</span><span class='Separator'>⋄</span><span class='Function'>!</span><span class='Value'>𝕩</span><span class='Function'>≡𝔽</span><span class='Modifier'>⁼</span><span class='Value'>r</span><span class='Separator'>⋄</span><span class='Value'>r</span><span class='Brace'>}</span></code></td>
 <td></td>
 </tr>
 <tr>
-- 
cgit v1.2.3