From b3ecbb5695a5a0a0637c924da0022abca940ffee Mon Sep 17 00:00:00 2001 From: Marshall Lochbaum Date: Tue, 21 Jul 2020 19:13:22 -0400 Subject: Add Rank function as monadic = --- doc/depth.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'doc/depth.md') 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" -- cgit v1.2.3