4 ms·Proof by construction, the Curry-Howard correspondance.by posterboy 3y agoProof by construction, the Curry-Howard correspondance.