[2024][uiua][2.x] golfed

In hindsight, I like this alternative more. https://discord.com/channels/1156339038748413952/1308998046536958093/1313259812061974620
1 week ago · 85d7e21ad7
parent 9c52e860ea
commit 85d7e21ad7
1 changed files with 1 additions and 1 deletions
--- a/2024/uiua/day_02.ua
+++ b/2024/uiua/day_02.ua
@ -14,7 +14,7 @@ IsSafe ← /×∨∩(×⊃≥₁≤₃ ≡(-°⊟)◫₂) ⟜⇌

 Part₁ ← /+ ≡IsSafe Records

-Dampened ← ≡(⍜↻↘₁) ⊙¤°⊏
+Dampened ← ≡(⍜↻↘₁) ⇡⧻⟜¤
 Part₂    ← /+ ≡(/∨≡IsSafe Dampened) Records

 ⊂⊃Part₁Part₂