Episode 2: Edwin Brady on Idris

The Type Theory Podcast

• Episode: Episode 2: Edwin Brady on Idris
• Website: The Type Theory Podcast
• Feed URL: http://typetheorypodcast.com/feed/podcast/
• Duration: 01:32:50
• Published: 2014-09-26 09:58

In our second episode, we speak with Edwin Brady from the University of St. Andrews. Since 2008, Edwin has been working on Idris, a functional programming language with dependent types. This episode is very much about programming: we discuss the language Idris, its history, its implementation strategies, and plans for the future.