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
46:36
Type-Driven Development in Idris — Edwin Brady
43:23
Edwin Brady - Idris 2: Type-driven development of Idris | Code Mesh LDN 18
38:36
"A Little Taste of Dependent Types" by David Christiansen
40:39
Edwin Brady - Idris 2 - Type-driven Development of Idris
40:38
Type-driven Development of Communicating Systems in Idris by Edwin Brady
40:56