diff options
| author | Andreas Grois <andi@grois.info> | 2024-09-24 20:04:26 +0200 |
|---|---|---|
| committer | Andreas Grois <andi@grois.info> | 2024-09-24 20:04:26 +0200 |
| commit | b1c7ab96169f80f62c8f5025cf2ebd74e9128f71 (patch) | |
| tree | 1ea1882b66edf10cec6281b2d1c71759dba19b7c /Common/NonEmptyList.lean | |
| parent | 5d08e39abca75b775bb7636973bb9c9a3bb908ac (diff) | |
Day 12 Part 1.
God, I fell into the premature optimization trap here...
But I'm glad I did, that should make part 2 way easier.
Diffstat (limited to 'Common/NonEmptyList.lean')
0 files changed, 0 insertions, 0 deletions