57:31
🔍 YouTube Search Results for "type driven development with idris"
Found 13 results
40:38
Type-driven Development of Communicating Systems in Idris by Edwin Brady
Lambda World
7.8K views
View & Download
1:13:03
Spec-Driven Development: The Fast Track to 10x? - Jerry Nixon - NDC Sydney 2026
NDC Conferences
774 views
View & Download
40:39
46:31
Edwin Brady - Type-driven Development of Communicating Systems in Idris
Erlang Solutions
1.3K views
View & Download
38:50
43:23
5:19
15:10
Test-Driven Development In Python // The Power of Red-Green-Refactor
ArjanCodes
130.2K views
View & Download
37:07
58:15
40:56
"Idris: Practical Dependent Types with Practical Examples" by Brian McKenna
Strange Loop Conference
30.3K views
View & Download
46:36