"A Little Taste of Dependent Types" by David Christiansen
17:46
Propositions as Types - Computerphile
19:24
Type Theory for the Working Rustacean - Dan Pittman
48:05
David Christiansen - Coding for Types: The Universe Patern in Idris - Curry On
23:40
The Hardest Problem in Type Theory - Computerphile
58:15
Idris 2: Quantitative Types in Action - Edwin Brady
43:55
Die Assads: Wie eine Familie Syrien terrorisierte | WDR Doku
42:43
"Propositions as Types" by Philip Wadler
46:09