diff --git a/src/Day1/Part1.idr b/src/Day1/Part1.idr
index 6c82365..b10eb4f 100644
--- a/src/Day1/Part1.idr
+++ b/src/Day1/Part1.idr
@@ -8,7 +8,6 @@ import Utils
 
 %default total
 
-
 --- PARSING
 
 parseLine : String -> Maybe (Nat, Nat)
@@ -18,8 +17,7 @@ parseLine str =
   in (,) <$> parseNat n1 <*> parseNat n2
 
 parseInput : String -> Maybe (List Nat, List Nat)
-parseInput = map unzip . traverse (parseLine) . lines
-
+parseInput = map unzip . traverse parseLine . lines
 
 --- UTILS
 
@@ -27,7 +25,6 @@ distance : Nat -> Nat -> Nat
 distance x y =
   cast $ abs $ natToInteger x - natToInteger y
 
-
 --- SOLUTION
 
 export