Day 4 (Advent of Code 2020)

1 · · Dec. 15, 2020, 5:20 p.m.
It's time for Day 4 of the Advent of Code 2020! Now, I've already had a look at the problem statement, at least for part 1, and I'm not particularly excited. But it will allow me to underline some of the points I've recently been *trying to make about types and correctness. ...