Functional Geekery
Functional Geekery Episode 54 – Edwin Brady
June 07, 2016
In this episode I talk with Edwin Brady. We talk Dependent Types and Idris. We cover his background of getting interested in dependent types, getting up and going with Idris, how to participate to drive Idris forward, and much more.
Functional Geeks, Geeking Functionally
Visit Podcast Website
RSS Podcast Feed
Subscribe
Share
Add to MyCast