Functional Geekery Episode 54 – Edwin Brady
Functional Geekery - Un pódcast de Proctor
Categorías:
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.
