Next
Types Are Theorems; Programs Are Proofs
11
Examples of propositions
a → a
TRUE
a → b
FALSE
continued...
Next
Copyright © 2014 M. J. Dominus