Type-driven Development of Communicating Systems in Idris by Edwin Brady
52:40
Java 8 (and 9!) in Anger by Trisha Gee
58:15
Idris 2: Quantitative Types in Action - Edwin Brady
46:36
Type-Driven Development in Idris — Edwin Brady
40:39
Edwin Brady - Idris 2 - Type-driven Development of Idris
41:05
The Dialectics of Type-Level Programming by Aaron Levin
1:00:35
3 01 A Functional Programmer's Guide to Homotopy Type Theory
43:23
Edwin Brady - Idris 2: Type-driven development of Idris | Code Mesh LDN 18
1:17:25