Add Insert (˝) 1-modifier

1 files changed, 9 insertions, 4 deletions

diff --git a/dzref b/dzref
index 4ce64b25..c4c56596 100755
--- a/dzref
+++ b/dzref
@@ -24,7 +24,12 @@ _depthOp_←{
   }
   𝕨 n _d 𝕩
 }
+_insert←{
+  ! 1≤=𝕩
+  𝕨 𝔽´ <˘𝕩
+}
 ⚇ ← _depthOp_
+˝ ← _insert
 
 
 #⌜
@@ -82,7 +87,7 @@ Join←{
 IndexOf←(1<⌈○=)◶⊐‿{
   c←1-˜=𝕨
   ! 0≤c
-  𝕨 (0<≠𝕨)◶⟨0⎉c∘⊢,((+´<˘)∧`)≢⎉c⎉c‿∞⟩ 𝕩
+  𝕨 (0<≠𝕨)◶⟨0⎉c∘⊢,(+˝∧`)≢⎉c⎉c‿∞⟩ 𝕩
 }
 UniqueMask←{
   ! 1≤=𝕩
@@ -132,8 +137,8 @@ _bins←{
   c←1-˜=𝕨
   ! 0≤c
   LE←𝔽⎉c≤0˜
-  ! (0<≠)◶⟨1,∧´·LE´˘2↕<˘⟩𝕨
-  𝕨 (0<≠𝕨)◶⟨0⎉c∘⊢,(+´<˘)LE⎉¯1‿∞⟩ 𝕩
+  ! (0<≠)◶⟨1,∧´·LE˝˘2↕⊢⟩𝕨
+  𝕨 (0<≠𝕨)◶⟨0⎉c∘⊢,+˝LE⎉¯1‿∞⟩ 𝕩
 }
 
 OccurrenceCount ← ⊐˜(⊢-⊏)⍋∘⍋
@@ -148,7 +153,7 @@ X←Raw←{≤4}
 {
   chrs←⟨
     "!=∾↕⌽⍉⍋⍒⊐⊒∊⍷"
-    ""
+    "˝"
     "⚇"
   ⟩
   nc ← ≠¨chrs