David Christiansen & Edwin Brady , The Type Theory Podcast

Episode 2: Edwin Brady on Idris

26 Sep 2014 • EN
1 min
00:00
00:00
No file found

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"

Listen on your iPhone

Download our iOS app and listen to interviews anywhere. Enjoy all of the listener functions in one slick package. Why not give it a try?

App Store Logo
application screenshot

Popular categories