Talks

A (non-exhaustive!) selection of recently recorded conference talks:

• Idris 2: Quantitative Type Theory in Practice at ECOOP 2021
• Type-driven Development via Scheme in Idris 2, Scheme workshop keynote 2019
• Programming as a Conversation: Type-driven Development in Action, BOBkonf Summer 2019
• Type-driven Development in Action, Curry On! 2019
• Idris 2: Type-driven Development of Idris CodeMesh 2018

From the Oregon Programming Languages Summer School 2017, "Dependent Types in the Idris Programming Language":

• Lecture 1
• Lecture 2
• Lecture 3
• Lecture 4