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

style: change section comment

Browse source
This commit is contained in:
Kiana Sheibani 2024-12-03 04:02:52 -05:00
parent 1425c6c51d
commit 2c9e1baf93
Signed by: toki
GPG key ID: 6CB106C25E86A9F7
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/Day1/Part1.idr
View file

@ -20,7 +20,7 @@ export
parseInput : String -> Maybe (List Nat, List Nat) parseInput : String -> Maybe (List Nat, List Nat)
parseInput = map unzip . traverse parseLine . lines parseInput = map unzip . traverse parseLine . lines
--- UTILS --- DATA
distance : Nat -> Nat -> Nat distance : Nat -> Nat -> Nat
distance x y = distance x y =