summaryrefslogtreecommitdiff
path: root/lakefile.lean
Commit message (Collapse)AuthorAgeFilesLines
* Incomplete Heap implementation.Andreas Grois2023-12-111-8/+1
|
* Day 9Andreas Grois2023-12-091-0/+2
|
* Day 8 Part 1Andreas Grois2023-12-081-2/+2
|
* Day 7Andreas Grois2023-12-081-0/+2
|
* Allow error messages in parsing (for debugging)Andreas Grois2023-12-071-0/+2
| | | | And fix an off-by-one in day 5
* Day5, part 1Andreas Grois2023-12-061-0/+2
|
* Day 4Andreas Grois2023-12-041-0/+2
| | | | I'm particularly proud of part 2.
* Day 3Andreas Grois2023-12-031-0/+2
|
* Day 2Andreas Grois2023-12-021-0/+2
|
* Day 1Andreas Grois2023-12-011-0/+18
generated by cgit v1.2.3 (git 2.46.0) at 2026-05-06 15:28:47 +0000