aoc-2023/Day15.lean, branch main Advent of Code 2023 - I'm still learning Lean4, so please don't judge. https://git.grois.info/aoc-2023/atom/Day15.lean?h=main 2024-12-01T18:58:11Z Minor, indentation 2024-12-01T18:58:11Z Andreas Grois andi@grois.info 2024-12-01T18:58:11Z urn:sha1:4784df61d4858f9f470327e46822aabf2f7eff52 Change Day15 Part 2 to not use do-notation. 2024-12-01T18:57:39Z Andreas Grois andi@grois.info 2024-12-01T18:57:39Z urn:sha1:11639a915b229952c267deb03a367ef70bb4a27e Day 15, Part 2 2024-12-01T18:40:33Z Andreas Grois andi@grois.info 2024-12-01T18:40:33Z urn:sha1:0a038cd8f528a9ff92daddaa5bc4b432f4fbdc7c Day15, Part1 2024-12-01T15:12:52Z Andreas Grois andi@grois.info 2024-12-01T15:12:52Z urn:sha1:3e9ab8b679faa68bf41addedae1ec0f963ee466a