|
| x (f g) y ←→ f (x g y) | |
| ∴ x (⍳∘1 ≥) y ←→ ⍳∘1 (x≥y) ←→ (x≥y)⍳1 | |
| In general, the pattern is x (⍳∘b comp) y | |
| • b is 0 1 | |
| • comp is < ≤ = ≠ ≥ > | |
 |
• make idioms of {(⍺≥⍵)⍳1}, {(⍺≠⍵)⍳0}, … |
| • index-of last occurrence: ⍸ | |
| New Constructs: Index of Compare | Index << >> |
| ||||||||||||||||||||