1 files changed, 7 insertions, 7 deletions

diff --git a/spec/reference.bqn b/spec/reference.bqn
index 5a6ab5ab..9c82cda1 100644
--- a/spec/reference.bqn
+++ b/spec/reference.bqn
@@ -269,7 +269,7 @@ JoinTo←{
   s←𝕨Pair○≢𝕩
   a←1⌈´k←≠¨s
   ! ∧´1≥a-k
-  c←(a-k)+⟜(↕a-1)⊸⊏¨s
+  c←(k¬a)+⟜(↕a-1)⊸⊏¨s
   ! ≡´c
   l←+´(a=k)⊣◶1‿(⊑⊢)¨s
   (⟨l⟩∾⊑c)⥊𝕨∾○⥊𝕩
@@ -279,13 +279,13 @@ Take←{
   T←{
     ! Int 𝕨
     l←≠𝕩
-    i←((𝕨<0)×𝕨+l)+↕|𝕨
-    ((l+1)|¯1⌈l⌊i)⊏𝕩 JoinTo (1 Cell 𝕩)⥊Type 𝕩
+    i←(l+1)|¯1⌈l⌊((𝕨<0)×𝕨+l)+↕|𝕨
+    i⊏JoinTo⟜(1⊸Cell⥊Type)⍟(∨´l=i)𝕩
   }
   𝕨 T _onAxes_ 0 (⟨1⟩⥊˜0⌈𝕨-○≠⊢)⊸∾∘≢⊸⥊𝕩
 }
 Drop←{
-  s←(≠𝕨)(⊣↑⊢∾⥊˜0⌈-⟜≠)≢𝕩
+  s←(≠𝕨)(⊣↑⊢∾˜1⥊˜0⌈-⟜≠)≢𝕩
   ((sׯ1⋆𝕨>0)+(-s)⌈s⌊𝕨)↑𝕩
 }
 Prefixes ← {!1≤≠≢𝕩 ⋄ (↕1+≠𝕩)Take¨<𝕩}
@@ -297,12 +297,12 @@ Windows←{
   ! 𝕨≤○≠≢𝕩
   ! ∧´Nat¨⥊𝕨
   s←(≠𝕨)↑≢𝕩
-  ! ∧´𝕨≤s
-  ><¨⊸⊏⟜𝕩¨s(¬+⌜○↕⊢)⥊𝕨
+  ! ∧´𝕨≤1+s
+  𝕨{(∾⟜(𝕨≠⊸↓≢𝕩)∘≢⥊>)<¨⊸⊏⟜𝕩¨s(¬+⌜○↕⊢)⥊𝕨}⍟(0<≠𝕨)𝕩
 }
 
 Reverse ← {!1≤≠≢𝕩 ⋄ (-↕⊸¬≠𝕩)⊏𝕩}
-Rotate ← {!Nat𝕨 ⋄ l←≠𝕩⋄(l|𝕨+↕l)⊏𝕩} _onAxes_ 0
+Rotate ← {!Int𝕨 ⋄ l←≠𝕩⋄(l|𝕨+↕l)⊏𝕩} _onAxes_ 0
 
 Indices←{
   ! 1=≠≢𝕩