5 ms·Proofs Are Programs: A Few Examples of the Curry-Howard Correspondence2 points by birdculture 6mo ago