diff options
| author | Marshall Lochbaum <mwlochbaum@gmail.com> | 2021-07-24 22:29:45 -0400 |
|---|---|---|
| committer | Marshall Lochbaum <mwlochbaum@gmail.com> | 2021-07-24 22:29:45 -0400 |
| commit | 436bf368830c828f8008bf55632e2bb4c2a2578f (patch) | |
| tree | e37be11d2cb9651bc439ead590d734c21679df6c /docs/spec | |
| parent | b60fd36b9eb6b245c848502f388dc7f5b3f9131d (diff) | |
Simplification: Range fill is just 𝕩 fill-ified
Diffstat (limited to 'docs/spec')
| -rw-r--r-- | docs/spec/inferred.html | 8 |
1 files changed, 1 insertions, 7 deletions
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 @@ </tr> <tr> <td><code><span class='Value'>𝕩</span></code></td> -<td><code><span class='Function'><</span></code></td> +<td><code><span class='Function'><↕</span></code></td> <td></td> <td></td> </tr> @@ -116,12 +116,6 @@ <td></td> <td></td> </tr> -<tr> -<td><code><span class='Number'>0</span><span class='Modifier2'>⚇</span><span class='Number'>0</span><span class='Value'>𝕩</span></code></td> -<td><code><span class='Function'>↕</span></code></td> -<td></td> -<td></td> -</tr> </tbody> </table> <p>For Group and Group Indices (<code><span class='Function'>⊔</span></code>), 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 <code><span class='Value'>𝕩</span></code> for Group, and is <code><span class='Number'>0</span></code> for Group Indices. The fill element of the result is <code><span class='Paren'>(</span><span class='Number'>0</span><span class='Modifier2'>⚇</span><span class='Number'>1</span><span class='Value'>𝕨</span><span class='Paren'>)</span><span class='Function'>↑</span><span class='Value'>𝕩</span></code> for Group, and <code><span class='Function'>⥊</span><span class='Modifier2'>⟜</span><span class='Function'><</span><span class='Number'>0</span><span class='Modifier2'>⚇</span><span class='Number'>1</span><span class='Value'>𝕩</span></code> for Group Indices.</p> |