wip

mdr · Dec 2, 2024 · fdd21b6 · fdd21b6
1 parent 3710fa7
commit fdd21b6
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/Aoc2024/Day01/Solve.lean b/Aoc2024/Day01/Solve.lean
@@ -1,6 +1,6 @@
-import Aoc2024.Day01.Parser
-import Aoc2024.Day01.Examples
 import Aoc2024.Utils
+import Aoc2024.Day01.Examples
+import Aoc2024.Day01.Parser
 
 private def solvePart1 (pairs : List (Int × Int)) : Int :=
   let (firsts, seconds) := pairs.unzip

diff --git a/Aoc2024/Day02/Solve.lean b/Aoc2024/Day02/Solve.lean
@@ -1,7 +1,7 @@
-import Aoc2024.Day02.Parser
 import Aoc2024.Utils
-import Batteries
 import Aoc2024.Day02.Examples
+import Aoc2024.Day02.Parser
+
 open Std (HashSet)
 
 private def increasingSlowly: HashSet Int := [1, 2, 3].toSet