summaryrefslogtreecommitdiff
path: root/Main.lean
Commit message (Expand)AuthorAgeFilesLines
* Part 2, finallyAndreas Grois2023-12-061-0/+1
* Day5, part 1Andreas Grois2023-12-061-0/+2
* Day 4Andreas Grois2023-12-041-0/+3
* Day 3Andreas Grois2023-12-031-0/+3
* Day 2Andreas Grois2023-12-021-0/+3
* Day 1Andreas Grois2023-12-011-0/+46