Summer of Math Exposition

Presented by 3Blue1Brown 3blue1brown

Why should you learn Type Theory?