diff options
| author | Marshall Lochbaum <mwlochbaum@gmail.com> | 2020-07-21 19:13:22 -0400 |
|---|---|---|
| committer | Marshall Lochbaum <mwlochbaum@gmail.com> | 2020-07-21 19:24:35 -0400 |
| commit | b3ecbb5695a5a0a0637c924da0022abca940ffee (patch) | |
| tree | bb6928abcb6d2019450ea48637ef1ceb856fe3c5 /doc/depth.md | |
| parent | bb7f6750d5be62bafff46dd94883189977b39d6a (diff) | |
Add Rank function as monadic =
Diffstat (limited to 'doc/depth.md')
| -rw-r--r-- | doc/depth.md | 2 |
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" |
