Type Theory for the Working Rustacean - Dan Pittman
17:55
The Death and Rebirth of Docs.rs - Quiet Misdreavus
35:29
Polonius: Either Borrower or Lender Be, but Responsibly - Niko Matsakis
35:08
"Proof Theory Impressionism: Blurring the Curry-Howard Line" by Dan Pittman
1:00:35
3 01 A Functional Programmer's Guide to Homotopy Type Theory
15:56
Computer Science ∩ Mathematics (Type Theory) - Computerphile
42:43
"Propositions as Types" by Philip Wadler
38:36
"A Little Taste of Dependent Types" by David Christiansen
25:41