summaryrefslogtreecommitdiff
path: root/Main.lean
Commit message (Collapse)AuthorAgeFilesLines
* Day13 Part2Andreas Grois2024-11-261-0/+1
|
* Day 13, Part 1Andreas Grois2024-11-251-0/+2
|
* Day 12 Part 2Andreas Grois2024-09-241-0/+1
|
* Day 12 Part 1.Andreas Grois2024-09-241-0/+2
| | | | | God, I fell into the premature optimization trap here... But I'm glad I did, that should make part 2 way easier.
* Day11Andreas Grois2024-09-191-0/+2
|
* Begin Day 11.Andreas Grois2024-09-181-0/+1
|
* Day 10, Part 2Andreas Grois2024-09-161-0/+1
|
* Day 10 Part 1Andreas Grois2024-09-081-18/+19
|
* Incomplete Heap implementation.Andreas Grois2023-12-111-0/+1
|
* Day 9Andreas Grois2023-12-091-18/+21
|
* Not working Day8 Part 2.Andreas Grois2023-12-081-0/+1
| | | | Seems we need to be smarter.
* Day 8 Part 1Andreas Grois2023-12-081-0/+2
|
* Day 7Andreas Grois2023-12-081-0/+3
|
* Day 6Andreas Grois2023-12-071-0/+3
|
* Allow error messages in parsing (for debugging)Andreas Grois2023-12-071-4/+1
| | | | And fix an off-by-one in day 5
* Part 2, finallyAndreas Grois2023-12-061-0/+1
|
* Day5, part 1Andreas Grois2023-12-061-0/+2
|
* Day 4Andreas Grois2023-12-041-0/+3
| | | | I'm particularly proud of part 2.
* Day 3Andreas Grois2023-12-031-0/+3
|
* Day 2Andreas Grois2023-12-021-0/+3
|
* Day 1Andreas Grois2023-12-011-0/+46
generated by cgit v1.2.3 (git 2.46.0) at 2026-05-06 14:22:24 +0000