dependent-types

• Lean, Advent of Code and Sigma Types Dec 22, 2023