David Christiansen
&
Edwin Brady
,
The Type Theory Podcast
Episode 2: Edwin Brady on Idris
26 Sep 2014
• EN
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.
From "The Type Theory Podcast"
Comments
Add comment Feedback