38:50
🔍 YouTube Search Results for "idris programming language"
Found 15 results
40:38
Type-driven Development of Communicating Systems in Idris by Edwin Brady
Lambda World
7.8K views
View & Download
40:56
"Idris: Practical Dependent Types with Practical Examples" by Brian McKenna
Strange Loop Conference
30.3K views
View & Download
5:19
2:08:34
Edwin Brady Tells Us What's New in Idris 2
Berlin Functional Programming Group
6.5K views
View & Download
48:05
16:42
4:15
55:37
57:31
40:14
"Scala vs Idris: Dependent types, now and in the future" by Miles Sabin and Edwin Brady (2013)
Strange Loop Conference
4.0K views
View & Download
58:15
1:01:20
14:53
5:26
Ranking Functional Programming Languages (Why I'm Biased and Excited)
Impure Pics
31.5K views
View & Download