Episode 2: Edwin Brady on Idris - a podcast by The Type Theory Podcast

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.

Further episodes of 301 Moved Permanently

Further podcasts by The Type Theory Podcast

Website of The Type Theory Podcast