Episode 2: Edwin Brady on Idris

The Type Theory Podcast ›

1:32:50 | Sep 26th, 2014

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 i...Show More