(** * 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. *)