diff options
| -rw-r--r-- | docs/spec/inferred.html | 4 | ||||
| -rw-r--r-- | spec/inferred.md | 12 |
2 files changed, 8 insertions, 8 deletions
diff --git a/docs/spec/inferred.html b/docs/spec/inferred.html index 902cb6a8..e0384202 100644 --- a/docs/spec/inferred.html +++ b/docs/spec/inferred.html @@ -462,7 +462,7 @@ <tr> <td align="center">1</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='Modifier'>˘¨⌜</span><span class='Modifier2'>⎉</span></code></td> </tr> <tr> @@ -474,7 +474,7 @@ <tr> <td align="center">n</td> <td></td> -<td><code><span class='Function'>⊑</span></code></td> +<td></td> <td><code><span class='Modifier2'>⚇</span></code></td> </tr> </tbody> diff --git a/spec/inferred.md b/spec/inferred.md index 3cab7270..e7ebf124 100644 --- a/spec/inferred.md +++ b/spec/inferred.md @@ -170,12 +170,12 @@ This section offers the outline for a procedure that computes most structural in Structural functions can be applied to structural arrays directly, after ensuring that they have the necessary depth as given below. An array's depth can be increased by expanding each position in it into an array of child positions, or, if that position contains an atom and the structural function in question would tolerate an atom, enclosing it. -| Level | Monads | Dyads | Modifiers -|:-----:|-----------------|-----------------|---------- -| 0 | `⊢⊣<` | `⊢⊣` | `˜∘○⊸⟜⊘◶` -| 1 | `=≠≢⥊≍↑↓»«⌽⍉⊏⊑` | `⥊∾≍↑↓↕»«⌽⍉/⊏⊔` | `˘¨⌜⎉` -| 2 | `>∾` | | -| n | | `⊑` | `⚇` +| Level | Monads | Dyads | Modifiers +|:-----:|-----------------|------------------|---------- +| 0 | `⊢⊣<` | `⊢⊣` | `˜∘○⊸⟜⊘◶` +| 1 | `=≠≢⥊≍↑↓»«⌽⍉⊏⊑` | `⥊∾≍↑↓↕»«⌽⍉/⊏⊑⊔` | `˘¨⌜⎉` +| 2 | `>∾` | | +| n | | | `⚇` Not all primitives in the table above are required. Of note are `=≠≢`, which accept a structural array but return an ordinary value; this might be used as a left argument later. If the final result is not structural, then the function in question can't be structural, and the attempt to find a structural inverse can be aborted. |