| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | BitVec.lean | 498 | logplainblame |
| -rw-r--r-- | Char.lean | 91 | logplainblame |
| -rw-r--r-- | DayPart.lean | 365 | logplainblame |
| -rw-r--r-- | Euclid.lean | 372 | logplainblame |
| -rw-r--r-- | Function.lean | 109 | logplainblame |
| -rw-r--r-- | Helpers.lean | 546 | logplainblame |
| -rw-r--r-- | List.lean | 4494 | logplainblame |
| -rw-r--r-- | Nat.lean | 1213 | logplainblame |
| -rw-r--r-- | NonEmptyList.lean | 482 | logplainblame |
| -rw-r--r-- | Option.lean | 768 | logplainblame |
| -rw-r--r-- | Parsing.lean | 9106 | logplainblame |
| -rw-r--r-- | String.lean | 161 | logplainblame |
| -rw-r--r-- | Substring.lean | 2150 | logplainblame |
 |
index : aoc-2023 | |
| Advent of Code 2023 - I'm still learning Lean4, so please don't judge. | Andreas Grois |
| summaryrefslogtreecommitdiff |