Curry-Howard

Why Do Type Systems Behave Like Proofs?

From seeing type checks as compiler hurdles to reading type systems as logic

Jan 25, 2026