"Idris: Practical Dependent Types with Practical Examples" by Brian McKenna
38:36
"A Little Taste of Dependent Types" by David Christiansen
46:36
Type-Driven Development in Idris — Edwin Brady
1:05:50
Functional Design Patterns - Scott Wlaschin
48:28
Richard Eisenberg on Dependent Types
1:07:59
From Whitespace to Idris: Interview With Edwin Brady
40:39
Edwin Brady - Idris 2 - Type-driven Development of Idris
29:10
What are dependent types? aka the Calculus of Construction (as a type wizard)
48:05