(**
* Proofs are Programs
This lecture is based on the paper
#
Propositions as Types# by
Philip Wadler, Professor of Theoretical Computer Science at the
University of Edinburgh, aka
#Super Lambda Man#.
You can watch a
#recorded lecture by Prof. Wadler# on this material.
*)