Type-Driven Development in Idris — Edwin Brady
48:05
David Christiansen - Coding for Types: The Universe Patern in Idris - Curry On
4:43
Thailand Legal Services Intake Process Explained
1:17:25
Dependent Types in the Idris Programming Language 1 - Edwin Brady - OPLSS 2017
40:39
Edwin Brady - Idris 2 - Type-driven Development of Idris
45:30
Move Over Free Monads: Make Way for Free Applicatives! — John de Goes
59:42
Fabio Labella—How do Fibers Work? A Peek Under the Hood
37:07
Not Your Mother's TDD: Type Driven Development in TypeScript - G Gilmour & R Gibson - NIDC2020
50:52