From 15959e10ef4034664fa6a52edf2ede9ba437d9ad Mon Sep 17 00:00:00 2001
From: Marshall Lochbaum <mwlochbaum@gmail.com>
Date: Mon, 14 Dec 2020 10:19:53 -0500
Subject: =?UTF-8?q?Add=20dyadic=20=E2=8A=B8=20to=20Undo=20requirements?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

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

(limited to 'docs/spec')

diff --git a/docs/spec/inferred.html b/docs/spec/inferred.html
index 617dcfd5..3733016f 100644
--- a/docs/spec/inferred.html
+++ b/docs/spec/inferred.html
@@ -104,7 +104,7 @@
 <tr>
 <td><code><span class='Function'>⌽</span></code></td>
 <td><code><span class='Function'>⌽</span></code></td>
-<td><code><span class='Paren'>(</span><span class='Function'>-</span><span class='Modifier2'>⊸</span><span class='Function'>⌽</span><span class='Paren'>)</span></code></td>
+<td><code><span class='Function'>-</span><span class='Modifier2'>⊸</span><span class='Function'>⌽</span></code></td>
 </tr>
 <tr>
 <td><code><span class='Function'>⍉</span></code></td>
@@ -315,14 +315,14 @@
 <td></td>
 </tr>
 <tr>
-<td><code><span class='Value'>k</span><span class='Modifier2'>⊸</span><span class='Function'>𝔽</span></code></td>
-<td><code><span class='Value'>k</span><span class='Modifier2'>⊸</span><span class='Paren'>(</span><span class='Function'>𝔽</span><span class='Modifier'>⁼</span><span class='Paren'>)</span></code></td>
-<td>Constant k</td>
+<td><code><span class='Modifier2'>⊸</span></code></td>
+<td><code><span class='Brace'>{</span><span class='Function'>𝔽</span><span class='Modifier2'>⊸</span><span class='Paren'>(</span><span class='Function'>𝔾</span><span class='Modifier'>⁼</span><span class='Paren'>)</span><span class='Brace'>}</span></code></td>
+<td>Dyadic case or constant <code><span class='Function'>𝔽</span></code> only</td>
 </tr>
 <tr>
 <td><code><span class='Value'>k</span><span class='Function'>𝔽⊢</span></code></td>
-<td></td>
-<td></td>
+<td><code><span class='Value'>k</span><span class='Function'>𝔽</span><span class='Modifier'>⁼</span><span class='Function'>⊢</span></code></td>
+<td>Constant k</td>
 </tr>
 <tr>
 <td><code><span class='Function'>𝔽</span><span class='Modifier2'>⟜</span><span class='Value'>k𝕩</span></code></td>
@@ -330,9 +330,9 @@
 <td>Constant k</td>
 </tr>
 <tr>
-<td><code><span class='Function'>⊢𝔽</span><span class='Value'>k</span><span class='Modifier'>˙</span></code></td>
+<td><code><span class='Function'>⊢𝔽K</span></code></td>
 <td></td>
-<td>Arbitrary k</td>
+<td>Constant k</td>
 </tr>
 </tbody>
 </table>
-- 
cgit v1.2.3