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

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

Heather Miller - Towards language support for distributed systems | Code Mesh LDN 18

Edwin Brady - Idris 2 - Type-driven Development of Idris

C Programming Tutorial for Beginners

Dependent Types - salvation or plague | Lambda Days 2021

Clean Code - Uncle Bob / Lesson 2

Think Fast, Talk Smart: Communication Techniques

Type-Driven Development in Idris — Edwin Brady

Idris 2: Quantitative Types in Action - Edwin Brady

RAFT for database consensus at scale - Henry Sun | Code BEAM America 2024

Lambda World 2018 - What FP can learn from Smalltalk by Aditya Siram

Machine Learning for Everybody – Full Course

A Crash Course in Category Theory - Bartosz Milewski

"Propositions as Types" by Philip Wadler

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

CompTIA Network+ Certification Video Course

"The Mess We're In" by Joe Armstrong

"A Little Taste of Dependent Types" by David Christiansen

Clean Code - Uncle Bob / Lesson 4

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