wip

mdr · Dec 1, 2024 · 7812a33 · 7812a33
1 parent bc974a6
commit 7812a33
Show file tree

Hide file tree

Showing 2 changed files with 14 additions and 1 deletion.
diff --git a/Aoc2024/Day01/Parser.lean b/Aoc2024/Day01/Parser.lean
@@ -1,4 +1,7 @@
 import Aoc2024.Utils
+import Std
+open Std.Internal.Parsec.String
+open Std.Internal.Parsec
 
 def splitOnWhitespace (s : String) : List String :=
   s.split Char.isWhitespace |> .filter (· ≠ "")
@@ -16,3 +19,13 @@ def parseTwoNumbers (line : String) : Except String (Int × Int) := do
 
 def parseLines (s : String) : Except String (List (Int × Int)) :=
   s.splitOn "\n" |>.mapM parseTwoNumbers
+
+def lineParser : Parser (Int × Int) := do
+  let a ← String.digits
+  let _ <- String.ws
+  let b ← String.digits
+  pure (a, b)
+
+-- def inputParser : Parser (List (Int × Int)) := do
+--   let lines ← lineParser.many1
+--   pure lines
diff --git a/lean-toolchain b/lean-toolchain
@@ -1 +1 @@
-leanprover/lean4:stable
+leanprover/lean4:v4.13.0