From 357f93d3529b186a3a9bc53b3cc996adee670eb6 Mon Sep 17 00:00:00 2001
From: Marshall Lochbaum <mwlochbaum@gmail.com>
Date: Tue, 15 Dec 2020 13:22:43 -0500
Subject: =?UTF-8?q?Don't=20allow=20F`=E2=81=BC=20of=20unit?=
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 e0384202..6dc72400 100644
--- a/docs/spec/inferred.html
+++ b/docs/spec/inferred.html
@@ -271,7 +271,7 @@
 </tr>
 <tr>
 <td><code><span class='Modifier'>`</span></code></td>
-<td><code><span class='Paren'>(</span><span class='Function'>⊏∾</span><span class='Number'>2</span><span class='Function'>𝔽</span><span class='Modifier'>⁼˝˘</span><span class='Modifier2'>∘</span><span class='Function'>↕⊢</span><span class='Paren'>)</span><span class='Modifier2'>⍟</span><span class='Paren'>(</span><span class='Number'>1</span><span class='Function'>&lt;≠</span><span class='Paren'>)</span></code></td>
+<td><code><span class='Brace'>{</span><span class='Function'>!</span><span class='Number'>0</span><span class='Function'>&lt;=</span><span class='Value'>𝕩</span><span class='Separator'>⋄</span><span class='Paren'>(</span><span class='Function'>⊏∾</span><span class='Number'>¯1</span><span class='Modifier2'>⊸</span><span class='Function'>↓𝔽</span><span class='Modifier'>⁼¨</span><span class='Number'>1</span><span class='Modifier2'>⊸</span><span class='Function'>↓</span><span class='Paren'>)</span><span class='Modifier2'>⍟</span><span class='Paren'>(</span><span class='Number'>1</span><span class='Function'>&lt;≠</span><span class='Paren'>)</span><span class='Value'>𝕩</span><span class='Brace'>}</span></code></td>
 <td></td>
 </tr>
 <tr>
-- 
cgit v1.2.3