Type-driven Development with Idris
Type-Driven Development in Idris — Edwin Brady
Edwin Brady - Idris 2: Type-driven development of Idris | Code Mesh LDN 18
Type-driven Development of Communicating Systems in Idris by Edwin Brady
Introduction to type driven development in Idris - Marco Perone
Edwin Brady - Idris 2 - Type-driven Development of Idris
Edwin Brady - Type-driven Development of Communicating Systems in Idris
Secrets of type driven program synthesis - Edwin Brady | Lambda Days 2021
Dependent Type Driven Program Synthesis in Idris | Edwin Brady | Code Mesh V 2020
Lambda Days 2018 - Clément Delafargue - TDD as in Type-Driven Development
Type Driven Secure Enclave Development using Idris
Not Your Mother's TDD: Type Driven Development in TypeScript - G Gilmour & R Gibson - NIDC2020
Type-Driven Program Synthesis
Scheme Workshop Keynote: Edwin Brady
Introduction to type driven development in Idris - #DevFest1Veneto
Edwin Brady Tells Us What's New in Idris 2
Introduction to type driven development in Idris #DevFest1Veneto
RAS: Type Driven Development it's time you talked to your compiler - Emilio Francesquini
Dependent Types in the Idris Programming Language 1 - Edwin Brady - OPLSS 2017
Idris 2: Quantitative Types in Action - Edwin Brady
Type Driven Development (TDD) and Idiomatic Data Structures - Ramón Soto Mathiesen
Edwin Brady - Dependently Typed Functional Programming with Idris: Implementing Idris [4/4] (2013)
Dan's office hours - July 13, 2019 - Introduction to Idris - programming types
SE-Radio Episode 296: Type Driven Development with Edwin Brady
BOB Summer 2019 - Edwin Brady, Type driven Development in Action