not used

mdr · Dec 4, 2024 · f688186 · f688186
1 parent 6da8b3a
commit f688186
Showing 1 changed file with 0 additions and 4 deletions.
diff --git a/Aoc2024/Day04/Solve.lean b/Aoc2024/Day04/Solve.lean
@@ -15,10 +15,6 @@ private def countXmasOccurrencesInRow : List Char -> Int
 
 private def countXmasOccurrencesInRows (grid : Grid): Int := grid.sumBy countXmasOccurrencesInRow
 
-private def gridToString (g : Grid) : String := g.map List.asString |> String.intercalate "\n"
-
-#guard gridToString [['A', 'B', 'C'], ['D', 'E', 'F']] = "ABC\nDEF"
-
 private def flipHorizontal (grid : Grid) : Grid := grid.map (·.reverse)
 
 private def allGridTransformations : List (Grid -> Grid) := [