4 ms·
"Propositions as Types" by Philip Wadler https://www.youtube.com/watch?v=IOiZatlZtGU https://www.youtube.com/watch?v=IOiZatlZtGU
by sitkack 1y ago
"Propositions as Types" by Philip Wadler https://www.youtube.com/watch?v=IOiZatlZtGU https://www.youtube.com/watch?v=IOiZatlZtGU