Idris 2: Quantitative Types in Action - Edwin Brady
59:00
The Hardest Problem in Computer Science: Marketing - Michael Bernstein
48:05
David Christiansen - Coding for Types: The Universe Patern in Idris - Curry On
1:07:59
From Whitespace to Idris: Interview With Edwin Brady
31:05
[WITS'24] Yaffle: A New Core for Idris 2
1:17:25
Dependent Types in the Idris Programming Language 1 - Edwin Brady - OPLSS 2017
27:07
Gleam v1 HAS BEEN RELEASED
46:36
Type-Driven Development in Idris — Edwin Brady
53:50