diff options
| author | Andreas Grois <andi@grois.info> | 2024-12-14 00:09:46 +0100 |
|---|---|---|
| committer | Andreas Grois <andi@grois.info> | 2024-12-14 00:09:46 +0100 |
| commit | 8223584095273bc7bdf7b7dc65a6e168350cdf57 (patch) | |
| tree | 2934a22693564082e78d896d98769e0ddc0e9996 /lakefile.lean | |
| parent | 4784df61d4858f9f470327e46822aabf2f7eff52 (diff) | |
Begin Day16
Diffstat (limited to 'lakefile.lean')
| -rw-r--r-- | lakefile.lean | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lakefile.lean b/lakefile.lean index b324bc8..1d653ed 100644 --- a/lakefile.lean +++ b/lakefile.lean @@ -18,6 +18,7 @@ lean_lib «Day12» where lean_lib «Day13» where lean_lib «Day14» where lean_lib «Day15» where +lean_lib «Day16» where lean_lib «Common» where |