diff --git a/src/Day1/Part1.idr b/src/Day1/Part1.idr index 1116820..812c916 100644 --- a/src/Day1/Part1.idr +++ b/src/Day1/Part1.idr @@ -20,7 +20,7 @@ export parseInput : String -> Maybe (List Nat, List Nat) parseInput = map unzip . traverse parseLine . lines ---- UTILS +--- DATA distance : Nat -> Nat -> Nat distance x y =