From 93f75e97685520cdad3afab0134e2f65e5e211e2 Mon Sep 17 00:00:00 2001
From: Marshall Lochbaum <mwlochbaum@gmail.com>
Date: Tue, 21 Jul 2020 19:48:24 -0400
Subject: =?UTF-8?q?Add=20Insert=20(=CB=9D)=201-modifier?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 spec/reference.bqn | 11 ++++++++---
 spec/token.md      |  2 +-
 2 files changed, 9 insertions(+), 4 deletions(-)

(limited to 'spec')

diff --git a/spec/reference.bqn b/spec/reference.bqn
index 5d5424d8..1d0a5cca 100644
--- a/spec/reference.bqn
+++ b/spec/reference.bqn
@@ -182,6 +182,7 @@ Depth←IsArray◶0‿{1+0⌈´Depth¨⥊𝕩}
 ⚇ ← _depthOp_
 ⍟ ← _iterate_
 ˘ ← ⎉¯1
+˝ ← _insert
 ` ← _scan
 
 DropV← {⊑⟜𝕩¨𝕨+↕𝕨-˜≠𝕩}
@@ -211,6 +212,10 @@ _rankOp_←{
   }
   > ((⊑k)Enc𝕨) 𝔽¨ ((1-˜≠)⊸⊑k)Enc𝕩
 }
+_insert←{
+  ! 1≤=𝕩
+  𝕨 𝔽´ <˘𝕩
+}
 _scan←{
   ! IsArray 𝕩
   ! 1≤=𝕩
@@ -354,7 +359,7 @@ Group←{
 IndexOf←{
   c←1-˜=𝕨
   ! 0≤c
-  𝕨 (0<≠𝕨)◶⟨0⎉c∘⊢,((+´<˘)∧`)≢⎉c⎉c‿∞⟩ 𝕩
+  𝕨 (0<≠𝕨)◶⟨0⎉c∘⊢,(+´˝∧`)≢⎉c⎉c‿∞⟩ 𝕩
 }
 UniqueMask←{
   ! 1≤=𝕩
@@ -403,8 +408,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 ← ⊐˜(⊢-⊏)⍋∘⍋
diff --git a/spec/token.md b/spec/token.md
index 0cf05d0d..603abfa7 100644
--- a/spec/token.md
+++ b/spec/token.md
@@ -19,7 +19,7 @@ Otherwise, a single character forms a token. Only the specified set of character
 | Class                 | Characters
 |-----------------------|------------
 | Primitive Function    | `+-×÷⋆√⌊⌈\|¬∧∨<>≠=≤≥≡≢⊣⊢⥊∾≍↑↓↕⌽⍉/⍋⍒⊏⊑⊐⊒∊⍷⊔`
-| Primitive 1-Modifier  | `` ˜˘¨⌜⁼´` ``
+| Primitive 1-Modifier  | `` ˜˘¨⌜⁼´˝` ``
 | Primitive 1-Modifier  | `∘○⊸⟜⌾⊘◶⎉⚇⍟`
 | Special name          | `𝕨𝕩𝕗𝕘𝕤𝕎𝕏𝔽𝔾𝕊`
 | Punctuation           | `←↩→(){}⟨⟩‿⋄,` and newline
-- 
cgit v1.2.3