update template

mdr · Dec 4, 2024 · c4953da · c4953da
1 parent aa28c8a
commit c4953da
Showing 1 changed file with 8 additions and 4 deletions.
diff --git a/DayXX/Main.lean b/DayXX/Main.lean
@@ -7,9 +7,13 @@ def main : IO Unit := do
   IO.println "Part 1"
   let exampleInput <- IO.FS.readFile "Aoc2024/DayXX/inputs/example.txt"
   let puzzleInput <- IO.FS.readFile "Aoc2024/DayXX/inputs/input.txt"
-  IO.println s!"Example: {parseAndSolvePart1 exampleInput}"
-  IO.println s!"Puzzle: {parseAndSolvePart1 puzzleInput}" --
+  IO.println s!"Example: {solvePart1 exampleInput}"
+  let answerPart1 := solvePart1 puzzleInput
+  IO.println s!"Puzzle: {answerPart1}"
+  assert! (answerPart1 == -1)
   IO.println ""
   IO.println "Part 2"
-  IO.println s!"Example: {parseAndSolvePart2 exampleInput}"
-  IO.println s!"Puzzle: {parseAndSolvePart2 puzzleInput}" --
+  IO.println s!"Example: {solvePart2 exampleInput}"
+  let answerPart2 := solvePart2 puzzleInput
+  IO.println s!"Puzzle: {answerPart2}"
+  assert! (answerPart2 == -1)