From c06d0a2edd8b1274879fc34cb5af34a401e7a981 Mon Sep 17 00:00:00 2001 From: Marshall Lochbaum Date: Mon, 14 Dec 2020 13:01:13 -0500 Subject: =?UTF-8?q?=E2=8A=91=20only=20looks=20at=20right=20argument=20dept?= =?UTF-8?q?h=201?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- docs/spec/inferred.html | 4 ++-- 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 @@ 1 =≠≢⥊≍↑↓»«⌽⍉⊏⊑ -⥊∾≍↑↓↕»«⌽⍉/⊏⊔ +⥊∾≍↑↓↕»«⌽⍉/⊏⊑⊔ ˘¨⌜⎉ @@ -474,7 +474,7 @@ n -⊑ + ⚇ 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. -- cgit v1.2.3