Functional Geekery Episode 54 - Edwin Brady
Functional Geekery
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.Next Episodes
Functional Geekery Episode 53 - Scott Nimrod @ Functional Geekery
π 2016-05-31 21:41 / β 01:06:57
Functional Geekery Episode 52 - RΓΊnar Bjarnason @ Functional Geekery
π 2016-05-17 12:00 / β 00:44:33
Functional Geekery Episode 51 - Brian Lonsdorf @ Functional Geekery
π 2016-05-10 12:00 / β 01:01:07
Functional Geekery Episode 50 - Bridget Hillyer @ Functional Geekery
π 2016-05-03 12:00 / β 00:56:30
Functional Geekery Episode 49 - Steve Vinoski and Francesco Cesarini @ Functional Geekery
π 2016-04-12 12:00 / β 00:52:31