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 /docs/doc/depth.html | |
| parent | bb7f6750d5be62bafff46dd94883189977b39d6a (diff) | |
Add Rank function as monadic =
Diffstat (limited to 'docs/doc/depth.html')
| -rw-r--r-- | docs/doc/depth.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/doc/depth.html b/docs/doc/depth.html index e141585c..cd025527 100644 --- a/docs/doc/depth.html +++ b/docs/doc/depth.html @@ -9,7 +9,7 @@ <span class='Function'>≡</span> <span class='String'>"a string is a list of characters"</span> 1 </pre> -<p>Depth is somewhat analogous to an array's rank <code><span class='Function'>≠≢</span><span class='Value'>𝕩</span></code>, and in fact rank can be "converted" to depth by splitting rows with <code><span class='Function'><</span><span class='Modifier2'>⎉</span><span class='Number'>1</span></code>, reducing the rank by 1 and increasing the depth. Unlike rank, Depth doesn't care at all about its argument's shape:</p> +<p>Depth is somewhat analogous to an array's rank <code><span class='Function'>=</span><span class='Value'>𝕩</span></code>, and in fact rank can be "converted" to depth by splitting rows with <code><span class='Function'><</span><span class='Modifier2'>⎉</span><span class='Number'>1</span></code>, reducing the rank by 1 and increasing the depth. Unlike rank, Depth doesn't care at all about its argument's shape:</p> <pre> <span class='Function'>≡</span> <span class='Number'>3</span><span class='Ligature'>‿</span><span class='Number'>4</span><span class='Function'>⥊</span><span class='String'>"characters"</span> 1 <span class='Function'>≡</span> <span class='Paren'>(</span><span class='Number'>1</span><span class='Function'>+↕</span><span class='Number'>10</span><span class='Paren'>)</span><span class='Function'>⥊</span><span class='String'>"characters"</span> |