summaryrefslogtreecommitdiff
path: root/lakefile.lean
Commit message (Collapse)AuthorAgeFilesLines
* Start Day 17Andreas Grois2024-12-181-0/+1
|
* Lean 4.14Andreas Grois2024-12-171-1/+1
|
* Begin Day16Andreas Grois2024-12-141-0/+1
|
* Day15, Part1Andreas Grois2024-12-011-0/+1
|
* Day 14, Part 1.Andreas Grois2024-11-281-0/+1
|
* Day 13, Part 1Andreas Grois2024-11-251-0/+1
|
* Update to Lean 4.13Andreas Grois2024-11-221-1/+1
|
* Begin Day12Andreas Grois2024-09-231-0/+1
|
* Begin Day 11.Andreas Grois2024-09-181-0/+1
|
* Day 10, Part 2Andreas Grois2024-09-161-1/+1
|
* Parser for Day10, maybe done.Andreas Grois2024-09-051-1/+1
|
* Move BinaryHeap to its own Github project.Andreas Grois2024-09-011-0/+3
|
* 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 14:52:40 +0000