january adventing... omg...

1 files changed, 12 insertions, 0 deletions

diff --git a/2024/lean/Main.lean b/2024/lean/Main.lean
new file mode 100644
index 0000000..cb319c4
--- /dev/null
+++ b/2024/lean/Main.lean
@@ -0,0 +1,12 @@
+import Solutions.Day01
+
+def main (args : List String) : IO Unit := do
+  let usage := "usage: lake exe aoc Day⟨num⟩"
+  match args with
+  | ["--help"] | ["help"] =>
+    IO.println usage
+  | [day] =>
+    let input <- IO.FS.readFile s!"../input/{day.toLower}.txt"
+    IO.println <| solution input
+  | _ =>
+    IO.println usage