| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | DayPart.lean | 358 | logplainblame |
| -rw-r--r-- | Helpers.lean | 152 | logplainblame |
| -rw-r--r-- | List.lean | 964 | logplainblame |
| -rw-r--r-- | Option.lean | 238 | logplainblame |
| -rw-r--r-- | String.lean | 110 | logplainblame |
 |
index : aoc-2023 | |
| Advent of Code 2023 - I'm still learning Lean4, so please don't judge. | Andreas Grois |
| summaryrefslogtreecommitdiff |