aboutsummaryrefslogtreecommitdiff
path: root/doc/depth.md
diff options
context:
space:
mode:
authorMarshall Lochbaum <mwlochbaum@gmail.com>2020-07-21 19:13:22 -0400
committerMarshall Lochbaum <mwlochbaum@gmail.com>2020-07-21 19:24:35 -0400
commitb3ecbb5695a5a0a0637c924da0022abca940ffee (patch)
treebb6928abcb6d2019450ea48637ef1ceb856fe3c5 /doc/depth.md
parentbb7f6750d5be62bafff46dd94883189977b39d6a (diff)
Add Rank function as monadic =
Diffstat (limited to 'doc/depth.md')
-rw-r--r--doc/depth.md2
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/depth.md b/doc/depth.md
index 8738e7ed..d1e4fda3 100644
--- a/doc/depth.md
+++ b/doc/depth.md
@@ -11,7 +11,7 @@ To find the depth of an array, use Depth (`≡`). For example, the depth of a li
≡ 2‿3‿4
≡ "a string is a list of characters"
-Depth is somewhat analogous to an array's rank `≠≢𝕩`, and in fact rank can be "converted" to depth by splitting rows with `<⎉1`, reducing the rank by 1 and increasing the depth. Unlike rank, Depth doesn't care at all about its argument's shape:
+Depth is somewhat analogous to an array's rank `=𝕩`, and in fact rank can be "converted" to depth by splitting rows with `<⎉1`, reducing the rank by 1 and increasing the depth. Unlike rank, Depth doesn't care at all about its argument's shape:
≡ 3‿4⥊"characters"
≡ (1+↕10)⥊"characters"