Scheme Workshop Keynote: Edwin Brady

(1:6:17)

Secrets of type driven program synthesis - Edwin Brady | Lambda Days 2021

(49:46)

Edwin Brady - Type-driven Development of Communicating Systems in Idris

(46:31)

Dependent Type Driven Program Synthesis in Idris | Edwin Brady | Code Mesh V 2020

(38:50)

Type-driven Development of Communicating Systems in Idris by Edwin Brady

(40:38)

Interview with Edwin Brady in Lambda World 2016

(3:3)

Edwin Brady - Idris 2: Type-driven development of Idris | Code Mesh LDN 18

(43:23)

Edwin Brady Tells Us What's New in Idris 2

(2:8:34)

SE-Radio Episode 296: Type Driven Development with Edwin Brady

(58:31)

Dependent Types in the Idris Programming Language 1 - Edwin Brady - OPLSS 2017

(1:17:25)

From Whitespace to Idris: Interview With Edwin Brady

(1:7:59)

Dependent Types - salvation or plague | Lambda Days 2021

(1:1:5)

Type-Driven Development in Idris — Edwin Brady

(46:36)

Dependent Types in the Idris Programming Language 2 - Edwin Brady - OPLSS 2017

(1:18:30)

CodeMesh 2014 - Edwin Brady - Verifying Stateful and Side-effecting Programs using Dependent Types

(48:44)

Edwin Brady: The implementation of Idris 2, Lecture 1

(1:1:20)

Edwin Brady - Idris: Programming with Dependent Types

(55:37)

#PLTalk: Edwin Brady Demos Idris

(1:8:10)

State machines all the way down

(1:4)