diff options
| author | Andreas Grois <andi@grois.info> | 2023-12-08 21:16:00 +0100 |
|---|---|---|
| committer | Andreas Grois <andi@grois.info> | 2023-12-08 21:16:00 +0100 |
| commit | 244078f9f9e722aceafe64e745b9aa50136fb71a (patch) | |
| tree | 5e251db1f6e2379006b48e8378b19de1a885a6a4 /Day2.lean | |
| parent | 948138f66cdf8f05cb669e58ba8a2d3e08adf9c7 (diff) | |
Not working Day8 Part 2.
Seems we need to be smarter.
Diffstat (limited to 'Day2.lean')
0 files changed, 0 insertions, 0 deletions