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