blob: cb319c4a640dc71c4a3fdedb9c057a2de3a21b07 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
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
|
