From 41231274d7e5466c89e24414bf567accf5bb2760 Mon Sep 17 00:00:00 2001 From: Andreas Grois Date: Thu, 19 Sep 2024 20:25:36 +0200 Subject: Day11: Comment out test code --- Day11.lean | 32 ++++++++++++++++---------------- 1 file changed, 16 insertions(+), 16 deletions(-) diff --git a/Day11.lean b/Day11.lean index c8ba675..32b877c 100644 --- a/Day11.lean +++ b/Day11.lean @@ -142,19 +142,19 @@ instance : Part ⟨11,_⟩ Parts.Two (ι := TelescopePicture) (ρ := Nat) where ------------------------------------------------------------------------------------------ -private def testData := " -...#...... -.......#.. -#......... -.......... -......#... -.#........ -.........# -.......... -.......#.. -#...#..... -" - -#eval - let data := DayPart.Parse.parse ⟨11,_⟩ testData - data.map (part (1000000 - 1)) +--private def testData := " +--...#...... +--.......#.. +--#......... +--.......... +--......#... +--.#........ +--.........# +--.......... +--.......#.. +--#...#..... +--" + +--#eval +-- let data := DayPart.Parse.parse ⟨11,_⟩ testData +-- data.map (part (1000000 - 1)) -- cgit v1.2.3