λevie.
lean
Lean, Advent of Code, and Sigma Types
22-12-2023