From 83e666ee9960275a98e6d2d44c5b4845b6b46c87 Mon Sep 17 00:00:00 2001 From: Andreas Grois Date: Mon, 11 Dec 2023 20:34:30 +0100 Subject: Incomplete Heap implementation. --- lakefile.lean | 9 +-------- 1 file changed, 1 insertion(+), 8 deletions(-) (limited to 'lakefile.lean') diff --git a/lakefile.lean b/lakefile.lean index f2096b3..3d6157a 100644 --- a/lakefile.lean +++ b/lakefile.lean @@ -4,22 +4,15 @@ open Lake DSL package «aoc-2023» where lean_lib «Day1» where - lean_lib «Day2» where - lean_lib «Day3» where - lean_lib «Day4» where - lean_lib «Day5» where - lean_lib «Day6» where - lean_lib «Day7» where - lean_lib «Day8» where - lean_lib «Day9» where +lean_lib «Day10» where lean_lib «Common» where -- cgit v1.2.3