aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xdzref_full1
1 files changed, 1 insertions, 0 deletions
diff --git a/dzref_full b/dzref_full
index b8322362..8eca20a6 100755
--- a/dzref_full
+++ b/dzref_full
@@ -144,6 +144,7 @@ _rankOp_←{
c←×´s←𝕨Cell𝕩
f⥊⊑⟜(⥊𝕩)¨∘((s⥊↕c)+c×⊢)¨↕×´f
}
+ Enc↩(>⟜0+≥⟜=)◶⟨<⊢,Enc,<¨⊢⟩
> ((0⊑k)Enc𝕨) 𝔽¨ ((1-˜≠)⊸⊑k)Enc𝕩
}
_scan←{