Functional Geekery Episode 54 – Edwin Brady
Functional Geekery - A podcast by Proctor
Categorie:
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.
