aboutsummaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorMarshall Lochbaum <mwlochbaum@gmail.com>2020-08-12 20:55:03 -0400
committerMarshall Lochbaum <mwlochbaum@gmail.com>2020-08-12 21:02:26 -0400
commitb3577ac65fd5ae9fc3c59e9c85053afa97b8314a (patch)
tree3ea441d85ca375700f9a3648db95cde86d29acb2 /src
parent2b99c84e96ad15b9104f00c7be0f228d2867a280 (diff)
Extend ≢ later
Diffstat (limited to 'src')
-rw-r--r--src/r.bqn4
1 files changed, 1 insertions, 3 deletions
diff --git a/src/r.bqn b/src/r.bqn
index 0385c9c6..d84c93fb 100644
--- a/src/r.bqn
+++ b/src/r.bqn
@@ -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 ← {⟨𝕩⟩} ⊘ {⟨𝕨,𝕩⟩}