Code Podcast

Bonus episode: Edwin Brady on dependent types and Idris

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 flpvsk.com
Dark side: Michael Beschastnov

Guest: Edwin Brady twitter.com/edwinbrady

Links

Music

Mid-Air! @mid_air