3 ms·
Sorry for being pedantic but isn't the story that types=theorems and programs=proofs?
by ngruhn 1y ago
Sorry for being pedantic but isn't the story that types=theorems and programs=proofs?
- sitkack 1y ago"Propositions as Types" by Philip Wadler https://www.youtube.com/watch?v=IOiZatlZtGU https://www.youtube.com/watch?v=IOiZatlZtGU