Next Types Are Theorems; Programs Are Proofs 20

Proofs with ∧

         -- x :: a
         -- y :: b
         (x, y)   ::   (a, b)

continued...
Next Copyright © 2014 M. J. Dominus