diff options
| author | Andreas Grois <andi@grois.info> | 2024-11-29 22:31:49 +0100 |
|---|---|---|
| committer | Andreas Grois <andi@grois.info> | 2024-11-29 22:31:49 +0100 |
| commit | 368c506bc365162cd22f4001ab729ee3df110b79 (patch) | |
| tree | a21867d760bc574ba1eb13b2a7b334b105d4c7a8 /Common/Countable.lean | |
| parent | 793bc1538543bbfb48704bab071c6719c6da4aa6 (diff) | |
Minor optimization of day 14 part 2.
The previous code kept using the Part2Memory even after a cycle had been
found. While this didn't break anything, it's a waste of CPU time.
Diffstat (limited to 'Common/Countable.lean')
0 files changed, 0 insertions, 0 deletions