From fbae6e63688b921f8a15d91ce2d1c01e1d93d52a Mon Sep 17 00:00:00 2001
From: Ben Harris <bjh21@bjh21.me.uk>
Date: Sat, 25 May 2024 11:15:20 +0100
Subject: [PATCH] 17a done

---
 17/17a.bqn | 12 +++++++-----
 1 file changed, 7 insertions(+), 5 deletions(-)

diff --git a/17/17a.bqn b/17/17a.bqn
index 9ab312d..1cf6d08 100644
--- a/17/17a.bqn
+++ b/17/17a.bqn
@@ -27,24 +27,26 @@ Space←{+´2=+˝˘𝕩}
 
 Main←{𝕊 jets:
   arena←⟨1,9⟩⥊1
+  jetpos←0
   {
     falling←((≠rocks)|𝕩)⊑rocks
     arena Extend⍟((3+≠falling)-(Space arena)) ↩
     ⟨fallen, fallenpos⟩ ← { 𝕊 ⟨falling,fallpos⟩:
       fallpos ↩ 1+fallpos
-      jet←((≠jets)|fallpos)⊑jets
+      jet←jetpos⊑jets
+      jetpos↩(≠jets)|1+jetpos
       shifted ← Jet falling
       obstructed ← ∨´⥊shifted∧(≠shifted)↑fallpos↓arena
       falling ↩ obstructed ⊑ ⟨shifted,falling⟩
-      •Show ⟨fallpos,falling∨(≠shifted)↑fallpos↓arena⟩
+      #•Show ⟨fallpos,falling∨(≠shifted)↑fallpos↓arena⟩
       ⟨falling,fallpos⟩
     } •_while_ { 𝕊 ⟨falling,fallpos⟩:
       ¬∨´⥊falling∧(≠falling)↑(1+fallpos)↓arena
     } ⟨falling,¯1⟩
     arena↩ {𝕩∨fallen}⌾{((≠fallen)⊸↑)∘(fallenpos⊸↓)} arena
-    •Show arena⊏".#"
-  }¨↕10
-  @
+    #•Show arena⊏".#"
+  }¨↕2022
+  (≠arena)-(1+Space arena)
 }
 
 •Show Main Prep ⊑•file.Lines ⊑•args
-- 
2.30.2