tidying

mdr · Dec 4, 2024 · 6da8b3a · 6da8b3a
1 parent 4d9df68
commit 6da8b3a
Showing 1 changed file with 13 additions and 0 deletions.
diff --git a/Aoc2024/Utils.lean b/Aoc2024/Utils.lean
@@ -103,6 +103,19 @@ namespace List
     ["K", "H"],
     ["L"],
   ]
+  #guard ([] : List (List Nat)).diagonals = []
+  #guard ([["A"]]).diagonals = [["A"]]
+  #guard ([["A", "B"]]).diagonals = [["A"], ["B"]]
+  #guard [
+    ["A", "B", "C"],
+    ["D"],
+    ["E", "F"],
+  ].diagonals = [
+    ["A"],
+    ["D", "B"],
+    ["E", "C"],
+    ["F"],
+  ]
 end List
 
 namespace Std.HashSet