From 436bf368830c828f8008bf55632e2bb4c2a2578f Mon Sep 17 00:00:00 2001
From: Marshall Lochbaum <mwlochbaum@gmail.com>
Date: Sat, 24 Jul 2021 22:29:45 -0400
Subject: =?UTF-8?q?Simplification:=20Range=20fill=20is=20just=20?=
 =?UTF-8?q?=F0=9D=95=A9=20fill-ified?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 spec/inferred.md | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'spec')

diff --git a/spec/inferred.md b/spec/inferred.md
index bfc9dbda..0fe24442 100644
--- a/spec/inferred.md
+++ b/spec/inferred.md
@@ -50,10 +50,9 @@ Fill elements for many primitives are given in the table below. The "Fill" colum
 |--------|--------------|-------------|----------
 | `⊢`    | `∧∨⥊≍»«⌽⍉⊏⍷` | `⥊↑↓↕⌽⍉/⊏`  | `` 𝔽` ``
 | `0`    | `≢/⍋⍒∊⊐⊒`    | `⍋⍒⊐⊒∊⍷`
-| `𝕩`    | `<`
+| `𝕩`    | `<↕`
 | `∩`    | `>∾`         | `∾≍»«`
 | `0↑𝕩`  | `↑↓`
-| `0⚇0𝕩` | `↕`
 
 For Group and Group Indices (`⊔`), the fill element of the result and its elements are both specified: the fill element of each element of the result is the same as that of `𝕩` for Group, and is `0` for Group Indices. The fill element of the result is `(0⚇1𝕨)↑𝕩` for Group, and `⥊⟜<0⚇1𝕩` for Group Indices.
 
-- 
cgit v1.2.3