"Idris: Practical Dependent Types with Practical Examples" by Brian McKenna
46:36
Type-Driven Development in Idris — Edwin Brady
38:36
"A Little Taste of Dependent Types" by David Christiansen
38:42
"Dependent Types in Haskell" by Stephanie Weirich
48:05
David Christiansen - Coding for Types: The Universe Patern in Idris - Curry On
58:15
Idris 2: Quantitative Types in Action - Edwin Brady
1:05:50
Functional Design Patterns - Scott Wlaschin
40:55
"Controlling Time and Space: understanding the many formulations of FRP" by Evan Czaplicki
48:28