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

1 week ago · d5cd53b822
parent d87ab54370
commit d5cd53b822
1 changed files with 1 additions and 1 deletions
--- a/2024/uiua/day_02.ua
+++ b/2024/uiua/day_02.ua
@ -10,7 +10,7 @@ Raw ←

 Records ← ⊜(⊜⋕≠@ .)≠@\n. Raw

-IsSafe ← ∨∩(¬∈:0 =2+⊃(>0)(<4) ≡(-°⊟)◫2) ⟜⇌
+IsSafe ← /×∨∩(×⊃(>0|<4) ≡(-°⊟)◫2) ⟜⇌

 # part one
 /+ ≡IsSafe Records