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

style: modify whitespace convention

Browse source
This commit is contained in:
Kiana Sheibani 2024-12-02 17:04:04 -05:00
parent f40862fc1e
commit 0b415a23cb
Signed by: toki
GPG key ID: 6CB106C25E86A9F7
1 changed files with 1 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
src/Day1/Part1.idr
View file

@ -8,7 +8,6 @@ import Utils
%default total %default total
--- PARSING --- PARSING
parseLine : String -> Maybe (Nat, Nat) parseLine : String -> Maybe (Nat, Nat)
@ -18,8 +17,7 @@ parseLine str =
in (,) <$> parseNat n1 <*> parseNat n2 in (,) <$> parseNat n1 <*> parseNat n2
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 --- UTILS
@ -27,7 +25,6 @@ distance : Nat -> Nat -> Nat
distance x y = distance x y =
cast $ abs $ natToInteger x - natToInteger y cast $ abs $ natToInteger x - natToInteger y
--- SOLUTION --- SOLUTION
export export