diff options
| author | Crazazy | 2024-12-01 14:18:50 +0100 |
|---|---|---|
| committer | Crazazy | 2024-12-01 14:18:50 +0100 |
| commit | 1e8ef84944374626a7670c7bd184b3d1ddf78046 (patch) | |
| tree | 006cf3eb4427fb198610e5b55f4a99beb01dbf57 /src/Day1.idr | |
| parent | 5ba0d95a80c06a39e65abc52200ee2fd7ee90bda (diff) | |
final cleanup
Diffstat (limited to 'src/Day1.idr')
| -rw-r--r-- | src/Day1.idr | 3 |
1 files changed, 0 insertions, 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 |