24
☃️ - 2023 DAY 4 SOLUTIONS -☃️
(programming.dev)
An unofficial home for the advent of code community on programming.dev!
Advent of Code is an annual Advent calendar of small programming puzzles for a variety of skill sets and skill levels that can be solved in any programming language you like.
Solution Threads
M | T | W | T | F | S | S |
---|---|---|---|---|---|---|
1 | 2 | 3 | ||||
4 | 5 | 6 | 7 | 8 | 9 | 10 |
11 | 12 | 13 | 14 | 15 | 16 | 17 |
18 | 19 | 20 | 21 | 22 | 23 | 24 |
25 |
Icon base by Lorc under CC BY 3.0 with modifications to add a gradient
console.log('Hello World')
Haskell
11:39 -- I spent most of the time reading the scoring rules and (as usual) writing a parser...
I'm really impressed by your part 2. And I thought my solution was short...
Not familiar with Lean4 but it looks like the same approach. High five!
Still trying to make sense of it but that part two fold is just jummy!