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.

Rss Apple Podcaster
Podden och tillhörande omslagsbild på den här sidan tillhör The Type Theory Podcast. Innehållet i podden är skapat av The Type Theory Podcast och inte av, eller tillsammans med, Poddtoppen.