From 2c9e1baf93cb2bc199619a69f9574ab52dfef5c6 Mon Sep 17 00:00:00 2001 From: Kiana Sheibani Date: Tue, 3 Dec 2024 04:02:52 -0500 Subject: [PATCH] style: change section comment --- src/Day1/Part1.idr | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 =