diff options
| author | Marshall Lochbaum <mwlochbaum@gmail.com> | 2020-12-14 10:19:53 -0500 |
|---|---|---|
| committer | Marshall Lochbaum <mwlochbaum@gmail.com> | 2020-12-14 10:20:26 -0500 |
| commit | 15959e10ef4034664fa6a52edf2ede9ba437d9ad (patch) | |
| tree | 8a34c5358febbab4784fc50180087cc866f2a22a | |
| parent | a6963e79122a0e54ba91cad3514e0df62f236633 (diff) | |
Add dyadic ⊸ to Undo requirements
| -rw-r--r-- | docs/spec/inferred.html | 16 | ||||
| -rw-r--r-- | spec/inferred.md | 8 |
2 files changed, 12 insertions, 12 deletions
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> diff --git a/spec/inferred.md b/spec/inferred.md index 9a171396..76837d5b 100644 --- a/spec/inferred.md +++ b/spec/inferred.md @@ -41,7 +41,7 @@ The following structural functions have unique inverses, except in a few cases. | `⊢` | `⊢` | `⊢` | `⊣` | `⊢` | `{!𝕨≡𝕩⋄𝕩}` | `<` | `{!0==𝕩⋄!0<≡𝕩⋄⊑𝕩}` | -| `⌽` | `⌽` | `(-⊸⌽)` +| `⌽` | `⌽` | `-⊸⌽` | `⍉` | `(1⌽↕∘=)⊸⍉⍟(0<=)` | `{!∧´∊𝕨⋄𝕨⍉𝕩⋄(⍋⍷𝕨∾↕=𝕩)⍉𝕩}` | `/` | `≠¨∘⊔` | @@ -98,10 +98,10 @@ Inverses of other modifiers and derived functions or modifiers obtained from the | `⌾` | `{𝔽⁼⌾𝔾}` | Verify result for computational Under | `⍟n` | `⍟(-n)` | Atomic number n | `⊘` | `{(𝔽⁼)⊘(𝔾⁼)}` | -| `k⊸𝔽` | `k⊸(𝔽⁼)` | Constant k -| `k𝔽⊢` | | +| `⊸` | `{𝔽⊸(𝔾⁼)}` | Dyadic case or constant `𝔽` only +| `k𝔽⊢` | `k𝔽⁼⊢` | Constant k | `𝔽⟜k𝕩` | `k𝔽˜⁼𝕩` | Constant k -| `⊢𝔽k˙` | | Arbitrary k +| `⊢𝔽K` | | Constant k ## Under |