Code Podcast

Bonus episode: Edwin Brady on dependent types and Idris

Download audio

An unabridged version of the interview with Edwin Brady, the creator of Idris. Talking about the language itself, the concept of Dependent Types and the future of Type Systems.

Host: Andrey Salomatin
Dark side: Michael Beschastnov

Guest: Edwin Brady



Mid-Air! @mid_air