diff options
| author | Marshall Lochbaum <mwlochbaum@gmail.com> | 2021-07-14 22:25:01 -0400 |
|---|---|---|
| committer | Marshall Lochbaum <mwlochbaum@gmail.com> | 2021-07-14 22:25:01 -0400 |
| commit | 8d58eafa341b5a65bed1a267bc34653e46bbc6e8 (patch) | |
| tree | beca1336e8b5ce493a27bbe9cebcc26149f3c7a8 /dzref | |
| parent | f113d9f57bdae219c87887c5e0781a5c824dc8e4 (diff) | |
Document high-rank search function behavior
Diffstat (limited to 'dzref')
| -rwxr-xr-x | dzref | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -64,7 +64,7 @@ Find←{ ⍷ ← ∊⊸/ ⊘ Find OccurrenceCount ← ⊐˜(⊢-⊏)⍋∘⍋ -ProgressiveIndexOf ← {𝕨⊐○(≍˘⟜OccurrenceCount𝕨⊸⊐)𝕩} +ProgressiveIndexOf ← {𝕨⊐○(((≢∾2˙)⥊≍˘⟜OccurrenceCount∘⥊)𝕨⊸⊐)𝕩} ⊒ ← OccurrenceCount⊘ ProgressiveIndexOf " |