toki/advent-of-code-2024
1
0
Fork 0
Code Issues Pull requests Activity

Compare commits

base: toki:b40650cd6bde21d781d0737d654f0d3aaa85f6d8
Branches Tags
toki:main
..
compare: toki:14f7539bef49c3bf16394640f5fc1b05b0065ff4
Branches Tags
toki:main

No commits in common. "b40650cd6bde21d781d0737d654f0d3aaa85f6d8" and "14f7539bef49c3bf16394640f5fc1b05b0065ff4" have entirely different histories.
b40650cd6b ... 14f7539bef

1 changed files with 7 additions and 8 deletions
Show stats Expand all files Collapse all files

15
src/Main.idr
View file

@ -2,8 +2,9 @@ module Main
import Data.SortedMap import Data.SortedMap
import Data.Problem import Data.Problem
import Utils
import Language.Reflection import Language.Reflection
import System
import AllDays import AllDays
@ -31,13 +32,11 @@ getInput = go ""
main : IO () main : IO ()
main = do main = do
sol <- case !getArgs of putStr "Solution: "
[_, s] => pure s Just pr <- parseProblem <$> getLine
_ => putStr "Solution: " >> getLine | Nothing => putStrLn "Invalid solution ID"
let Just pr = parseProblem sol let Just func = lookup pr solMap
| Nothing => putStrLn "ERROR: Invalid solution" | Nothing => putStrLn "This part is not implemented yet!"
Just func = lookup pr solMap
| Nothing => putStrLn "ERROR: This part is not implemented yet!"
putStrLn "Input (end with \\):" putStrLn "Input (end with \\):"
input <- trim <$> getInput input <- trim <$> getInput