![Edwin Brady - Dependently Typed Functional Programming with Idris: Effect management [3/4] (2013)](/_next/image?url=%2Fimages%2Fthumbnails%2Fedwin-brady-dependently-typed-functional-programming-with-idris-effect-management-3-4-2013.jpg&w=320&q=50 "Edwin Brady - Dependently Typed Functional Programming with Idris: Effect management [3/4] (2013)")
Edwin Brady - Dependently Typed Functional Programming with Idris: Effect management [3/4] (2013)
November 2018
Awesome Idris Talks
A curated list of amazing Idris related conference talks.
Edwin Brady - Dependently Typed Functional Programming with Idris: Embedded DSLs [2/4] (2013)
November 2018Edwin Brady - Dependently Typed Functional Programming with Idris: Implementing Idris [4/4] (2013)
November 2018Edwin Brady - Dependently Typed Functional Programming with Idris: Introduction [1/4] (2013)
November 2018Type-driven Development of Communicating Systems in Idris by Edwin Brady
October 2016Type-Driven Development in Idris — Edwin Brady
October 2015David Christiansen - Coding for Types: The Universe Patern in Idris - Curry On
July 2015
![Edwin Brady - Dependently Typed Functional Programming with Idris: Embedded DSLs [2/4] (2013)](/_next/image?url=%2Fimages%2Fthumbnails%2Fedwin-brady-dependently-typed-functional-programming-with-idris-embedded-ds-ls-2-4-2013.jpg&w=320&q=50 "Edwin Brady - Dependently Typed Functional Programming with Idris: Embedded DSLs [2/4] (2013)")
![Edwin Brady - Dependently Typed Functional Programming with Idris: Implementing Idris [4/4] (2013)](/_next/image?url=%2Fimages%2Fthumbnails%2Fedwin-brady-dependently-typed-functional-programming-with-idris-implementing-idris-4-4-2013.jpg&w=320&q=50 "Edwin Brady - Dependently Typed Functional Programming with Idris: Implementing Idris [4/4] (2013)")
![Edwin Brady - Dependently Typed Functional Programming with Idris: Introduction [1/4] (2013)](/_next/image?url=%2Fimages%2Fthumbnails%2Fedwin-brady-dependently-typed-functional-programming-with-idris-introduction-1-4-2013.jpg&w=320&q=50 "Edwin Brady - Dependently Typed Functional Programming with Idris: Introduction [1/4] (2013)")
