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

"A Little Taste of Dependent Types" by David Christiansen

Idris 2: Quantitative Types in Action - Edwin Brady

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

AI与Excel倒数第二课

Simon Marlow - Glean - facts about code

John Mumm - Safely Sharing Data - Reference Capabilities in the Pony Programming Language

Type-Driven Development in Idris — Edwin Brady

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

Dependent Types - salvation or plague | Lambda Days 2021

Как писать код с ИИ: советы от разработчика с 25-летним стажем

From Whitespace to Idris: Interview With Edwin Brady

[WITS'24] Yaffle: A New Core for Idris 2

Jan Vitek - Getting everything wrong without doing anything right!

"Categories for the Working Hacker" by Philip Wadler

Richard Eisenberg on Dependent Types

Adventure with Types in Haskell - Simon Peyton Jones (Lecture 1)

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

RAG | ВСЁ, что тебе нужно знать (+ 11 Продвинутых стратегий)

Simon Danisch - Julia - A Compiler for the Future

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