Propositions as Types

https://www.youtube.com/watch?v=IOiZatlZtGU

Programming Languages that were discovered not invented. https://youtu.be/IOiZatlZtGU?t=1650