dependent-types

Lean, Advent of Code, and Sigma Types 22-12-2023