I’ve been doing #AdventOfCode in #Gleam this year. So far, it’s been a slightly-more-tedious #Elixir. Can’t wait to learn where Gleam has advantages for a problem. https://github.com/gamache/advent2022/tree/main/src
@pete doing it in Lean. Two days behind as a result now.