Dependent Types in the Idris Programming Language 2 - Edwin Brady - OPLSS 2017
David Christiansen - Coding for Types: The Universe Patern in Idris - Curry On
Type-Driven Development in Idris — Edwin Brady
"A Little Taste of Dependent Types" by David Christiansen
Idris 2: Quantitative Types in Action - Edwin Brady
Adventure with Types in Haskell - Simon Peyton Jones (Lecture 1)
Brian Beckman: The Zen of Stateless State - The State Monad
Редакция Live: Путин прошелся по плану Трампа, мемы про Долину, авто дорожают, что смотреть в Китае
Edwin Brady - Idris 2 - Type-driven Development of Idris
What is a Monad? - Computerphile
Philip Wadler - Propositions as Types (Lambda Days 2016)
Dependent Types - salvation or plague | Lambda Days 2021
«Идрис: Практические зависимые типы с практическими примерами» Брайана Маккенны
William Byrd on "The Most Beautiful Program Ever Written" [PWL NYC]
"Dependent Types in Haskell" by Stephanie Weirich
Edwin Brady - Idris 2: Type-driven development of Idris | Code Mesh LDN 18
Type-driven Development of Communicating Systems in Idris by Edwin Brady
Richard Eisenberg on Dependent Types
LambdaConf 2015 - A Practical Introduction to Haskell GADTs Richard Eisenberg
Fun never stops. Introduction to Haskell Programming language by Paul Szulc