My attempt to explain Propositions as Types to a general audience. Recorded at Bright Club, The Stand, Edinburgh, 23 September 2019.
30.1.20
A Profound Pun
My attempt to explain Propositions as Types to a general audience. Recorded at Bright Club, The Stand, Edinburgh, 23 September 2019.
Subscribe to:
Post Comments (Atom)
No comments:
Post a Comment