From 1e8ef84944374626a7670c7bd184b3d1ddf78046 Mon Sep 17 00:00:00 2001
From: Crazazy
Date: Sun, 1 Dec 2024 14:18:50 +0100
Subject: final cleanup

---
 src/Day1.idr | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/src/Day1.idr b/src/Day1.idr
index e29b0a7..5416c51 100644
--- a/src/Day1.idr
+++ b/src/Day1.idr
@@ -1,9 +1,6 @@
 module Day1
 
-import System
-import System.File
 import Data.String
-import Text.Parser
 
 parsePair : String -> Maybe (Int, Int)
 parsePair pair = do
-- 
cgit 1.4.1-2-gfad0