Dependent Types in the Idris Programming Language 1 - Edwin Brady - OPLSS 2017
1:18:30
Dependent Types in the Idris Programming Language 2 - Edwin Brady - OPLSS 2017
48:05
David Christiansen - Coding for Types: The Universe Patern in Idris - Curry On
1:33:37
Adventure with Types in Haskell - Simon Peyton Jones (Lecture 1)
46:36
Type-Driven Development in Idris — Edwin Brady
40:14
"Scala vs Idris: Dependent types, now and in the future" by Miles Sabin and Edwin Brady (2013)
1:24:30
Dependent Types in the Idris Programming Language 3 - Edwin Brady - OPLSS 2017
1:05:44
Functional programming design patterns by Scott Wlaschin
23:40