21 lines
345 B
Agda
21 lines
345 B
Agda
module DayXX
|
|
|
|
import Prelude
|
|
import Node
|
|
import Aoc
|
|
|
|
part1 : String → Int
|
|
part2 : String → Int
|
|
|
|
run : String -> IO Unit
|
|
run fn = do
|
|
putStrLn fn
|
|
text <- readFile fn
|
|
putStrLn $ "part1 " ++ show (part1 text)
|
|
putStrLn $ "part2 " ++ show (part2 text)
|
|
|
|
main : IO Unit
|
|
main = do
|
|
run "aoc2025/dayXX/eg.txt"
|
|
run "aoc2025/dayXX/input.txt"
|