aboutsummaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorMarshall Lochbaum <mwlochbaum@gmail.com>2022-07-08 21:41:09 -0400
committerMarshall Lochbaum <mwlochbaum@gmail.com>2022-07-08 21:41:09 -0400
commit9ce4441a2fec2f6bd301f9cf5ad801c9534d34eb (patch)
tree70eaf8b3e5529c565f6f01373d653c66723db66c /doc
parent36c94fedb277747ee71911626d147614df67c031 (diff)
Document multiple and computed 𝔾 in Depth (⚇)
Diffstat (limited to 'doc')
-rw-r--r--doc/depth.md2
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/depth.md b/doc/depth.md
index 88473d58..8c77bf24 100644
--- a/doc/depth.md
+++ b/doc/depth.md
@@ -131,3 +131,5 @@ While a negative depth tells how many levels to go down, a non-negative depth gi
With a positive operand, Depth doesn't have to use the same depth everywhere. Here, [Length](shape.md) is applied as soon as the depth for a particular element is 1 or less, including if the argument has depth 0. For example, it maps over `⟨2,⟨3,4⟩⟩`, but not over `⟨11,12⟩`, even though these are elements of the same array.
≠⚇1 ⟨1,⟨2,⟨3,4⟩⟩,⟨5,⟨6,7⟩,⟨8,9,10⟩⟩,⟨11,12⟩⟩
+
+[Like the Rank modifier](rank.md#multiple-and-computed-ranks), the right operand `𝔾` is really a function that returns the depth to be used, and that depth can be a single number, or a list of one to three numbers. One number gives the same depth to all arguments, two correspond to `𝕨` and `𝕩`, and three to monadic `𝕩`, and dyadic `𝕨` and `𝕩`.