From 436bf368830c828f8008bf55632e2bb4c2a2578f Mon Sep 17 00:00:00 2001 From: Marshall Lochbaum 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 --- docs/spec/inferred.html | 8 +------- 1 file changed, 1 insertion(+), 7 deletions(-) (limited to 'docs/spec/inferred.html') diff --git a/docs/spec/inferred.html b/docs/spec/inferred.html index bda3e054..ef7bb6e1 100644 --- a/docs/spec/inferred.html +++ b/docs/spec/inferred.html @@ -100,7 +100,7 @@ 𝕩 -< +<↕ @@ -116,12 +116,6 @@ - -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