From 830b65d349ec148df049522a1875a8e3d5ce7697 Mon Sep 17 00:00:00 2001
From: JJ
Date: Wed, 1 Jan 2025 18:11:37 -0800
Subject: january adventing... omg...

---
 2024/lean/Main.lean | 12 ++++++++++++
 1 file changed, 12 insertions(+)
 create mode 100644 2024/lean/Main.lean

(limited to '2024/lean/Main.lean')

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
-- 
cgit v1.2.3-70-g09d2