Steven Proctor – Edwin Brady
Steven Proctor is a software developer and an interview host. Edwin Brady is a computer scientist. We found 1 podcast interview connecting Steven Proctor and Edwin Brady.
Feel free to follow both profiles to receive their upcoming podcast interview appearances in your personal feed.
Episodes with Steven Proctor & Edwin Brady
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.