diff options
| author | Marshall Lochbaum <mwlochbaum@gmail.com> | 2020-08-12 20:55:03 -0400 |
|---|---|---|
| committer | Marshall Lochbaum <mwlochbaum@gmail.com> | 2020-08-12 21:02:26 -0400 |
| commit | b3577ac65fd5ae9fc3c59e9c85053afa97b8314a (patch) | |
| tree | 3ea441d85ca375700f9a3648db95cde86d29acb2 | |
| parent | 2b99c84e96ad15b9104f00c7be0f228d2867a280 (diff) | |
Extend ≢ later
| -rw-r--r-- | src/r.bqn | 4 |
1 files changed, 1 insertions, 3 deletions
@@ -19,7 +19,6 @@ Nat←IsArray◶⟨0⊸≤×⌊⊸=,0⟩ > ← (1-≤) ⌊ ↩ ⌊ ⊘ (>⊑{𝕨‿𝕩}) ⌈ ← -∘⌊∘- ⊘ (<⊑{𝕨‿𝕩}) -≢ ↩ IsArray◶⟨⟩‿≢ # LIMITED to monadic case ≠ ← (0<=)◶⟨1⋄0⊑≢⟩ # LIMITED to monadic case _fold←{ @@ -142,6 +141,7 @@ match←{(0⊑𝕨)◶(1⊑𝕨)‿𝕩}´⟨ Depth←IsArray◶0‿{1+0(⊣-≤×-)´Depth⌜⥊𝕩} ≡ ← Depth ⊘ Match +≢ ↩ IsArray◶⟨⟩‿≢ ⊘ (1-Match) Merge←{ c←≢0⊑⥊𝕩 @@ -188,8 +188,6 @@ Range←{ IsArray◶I‿M 𝕩 } -≢ ↩ ≢ ⊘ (¬Match) - Pair ← {⟨𝕩⟩} ⊘ {⟨𝕨,𝕩⟩} |
