#PLTalk: Edwin Brady Demos Idris
Edwin Brady - Type-driven Development of Communicating Systems in Idris
Scheme Workshop Keynote: Edwin Brady
Interview with Edwin Brady in Lambda World 2016
Type-driven Development of Communicating Systems in Idris by Edwin Brady
Edwin Brady Tells Us What's New in Idris 2
Idris 2: Quantitative Types in Action - Edwin Brady
Edwin Brady - Idris: Programming with Dependent Types
Secrets of type driven program synthesis - Edwin Brady | Lambda Days 2021
Type-Driven Development in Idris — Edwin Brady
Dependent Types in the Idris Programming Language 3 - Edwin Brady - OPLSS 2017
SE-Radio Episode 296: Type Driven Development with Edwin Brady
Lambda Days 2015 - Edwin Brady - State, Side-effects and Communication in Idris
Edwin Brady: The implementation of Idris 2, Lecture 1
Dependent Types in the Idris Programming Language 2 - Edwin Brady - OPLSS 2017
CodeMesh 2014 - Edwin Brady - Verifying Stateful and Side-effecting Programs using Dependent Types
TIAP Edwin Brady - Implementing a Dependently Typed Programming Language
Dependent Types in the Idris Programming Language 4 - Edwin Brady - OPLSS 2017
ICFP 2012 Programming Contest results and awards. Presented by Edwin Brady.
Dependent Types in the Idris Programming Language 1 - Edwin Brady - OPLSS 2017
