58:15

Idris 2: Quantitative Types in Action - Edwin Brady

56:16

Simon Marlow - Glean - facts about code

48:05

David Christiansen - Coding for Types: The Universe Patern in Idris - Curry On

45:32

Philip Wadler - Plutus and Marlowe

1:15:14

A Crash Course in Category Theory - Bartosz Milewski

8:30

Self-Driving Cars Were a Mistake

46:36

Type-Driven Development in Idris — Edwin Brady

1:17:25

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