From 0b415a23cbf6c2108db8beb1fac0935b4a9664d7 Mon Sep 17 00:00:00 2001
From: Kiana Sheibani <kiana.a.sheibani@gmail.com>
Date: Mon, 2 Dec 2024 17:04:04 -0500
Subject: [PATCH] style: modify whitespace convention

---
 src/Day1/Part1.idr | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

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