From Whitespace to Idris: Interview With Edwin Brady
2:08:34
Edwin Brady Tells Us What's New in Idris 2
1:17:25
Dependent Types in the Idris Programming Language 1 - Edwin Brady - OPLSS 2017
50:48
Interview with Max Tagher
1:49:55
How To Speak Fluently In English About Almost Anything
40:14
"Scala vs Idris: Dependent types, now and in the future" by Miles Sabin and Edwin Brady (2013)
1:10:07
"Super Haskell": an introduction to Agda by André Muricy
23:58
Cubical Agda: A Dependently Typed Programming Language with Univalence and Higher Inductive Types
58:21