Proofs are Programs: A Few Examples of the Curry-Howard Correspondence

Why Does Everyone Hate Haskell, Jazz, and Pure Math?