From 46e98146bf50e12fce72474170645da8040ccf99 Mon Sep 17 00:00:00 2001
From: Marshall Lochbaum <mwlochbaum@gmail.com>
Date: Sat, 23 Jan 2021 21:09:20 -0500
Subject: Add shift functions to fill spec

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

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

diff --git a/docs/spec/inferred.html b/docs/spec/inferred.html
index e587655a..ba10d696 100644
--- a/docs/spec/inferred.html
+++ b/docs/spec/inferred.html
@@ -88,14 +88,14 @@
 <tbody>
 <tr>
 <td><code><span class='Function'>⊢</span></code></td>
-<td><code><span class='Function'>⥊⌽⍉⊏≍∧∨⍷</span></code></td>
-<td><code><span class='Function'>⥊⌽⍉⊏↑↓↕/</span></code></td>
+<td><code><span class='Function'>∧∨⥊≍»«⌽⍉⊏⍷</span></code></td>
+<td><code><span class='Function'>⥊↑↓↕⌽⍉/⊏</span></code></td>
 <td><code><span class='Function'>𝔽</span><span class='Modifier'>`</span></code></td>
 </tr>
 <tr>
 <td><code><span class='Number'>0</span></code></td>
 <td><code><span class='Function'>≢/⍋⍒∊⊐⊒</span></code></td>
-<td><code><span class='Function'>⍋⍒∊⍷⊐⊒</span></code></td>
+<td><code><span class='Function'>⍋⍒⊐⊒∊⍷</span></code></td>
 <td></td>
 </tr>
 <tr>
@@ -107,7 +107,7 @@
 <tr>
 <td><code><span class='Value'>∩</span></code></td>
 <td><code><span class='Function'>&gt;∾</span></code></td>
-<td><code><span class='Function'>∾≍</span></code></td>
+<td><code><span class='Function'>∾≍»«</span></code></td>
 <td></td>
 </tr>
 <tr>
-- 
cgit v1.2.3