From 4fbf17eb5e9dcb3aac891832eabf63c715df4feb Mon Sep 17 00:00:00 2001
From: Marshall Lochbaum <mwlochbaum@gmail.com>
Date: Sat, 30 Jan 2021 11:44:10 -0500
Subject: =?UTF-8?q?Require=20support=20for=20dyadic=20=E2=9F=9C=20in=20Und?=
 =?UTF-8?q?o?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 docs/spec/inferred.html | 11 ++++++++---
 1 file changed, 8 insertions(+), 3 deletions(-)

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

diff --git a/docs/spec/inferred.html b/docs/spec/inferred.html
index ba10d696..33470f4f 100644
--- a/docs/spec/inferred.html
+++ b/docs/spec/inferred.html
@@ -439,9 +439,14 @@
 <td>Dyadic case or constant <code><span class='Function'>𝔽</span></code> only</td>
 </tr>
 <tr>
-<td><code><span class='Function'>𝔽</span><span class='Modifier2'>⟜</span><span class='Value'>k𝕩</span></code></td>
-<td><code><span class='Value'>k</span><span class='Function'>𝔽</span><span class='Modifier'>˜⁼</span><span class='Value'>𝕩</span></code></td>
-<td>Constant <code><span class='Value'>k</span></code></td>
+<td><code><span class='Modifier2'>⟜</span></code></td>
+<td><code><span class='Brace'>{</span><span class='Function'>𝔾</span><span class='Modifier'>⁼</span><span class='Function'>𝔽</span><span class='Modifier'>⁼</span><span class='Brace'>}</span></code></td>
+<td>Dyadic case</td>
+</tr>
+<tr>
+<td><code><span class='Function'>𝔽</span><span class='Modifier2'>⟜</span><span class='Value'>k</span></code></td>
+<td><code><span class='Value'>k</span><span class='Function'>𝔽</span><span class='Modifier'>˜⁼</span><span class='Function'>⊢</span></code></td>
+<td>Monadic case, constant <code><span class='Value'>k</span></code></td>
 </tr>
 <tr>
 <td><code><span class='Value'>k</span><span class='Function'>𝔽𝔾</span></code></td>
-- 
cgit v1.2.3