Bonus Episode: Edwin Brady on Dependent Types And Idris

Bonus to Episode #5. Type systems. Guests: Edwin Brady twitter.com/edwinbrady

Episode 5. Type Systems

Episode #5. Type systems. Guests: Joseph Abrahamson twitter.com/sdbo Radoslav Kirov twitter.com/radokirov Erlend Hamberg twitter.com/ehamberg Edwin Brady twitter.com/edwinbrady

Episode 4. How to design software

Episode #4. How to design software?. Guests: Craig Andera twitter.com/craigandera Eric Elliott twitter.com/_ericelliott Mario Zechner twitter.com/badlogicgames

Page 1 / 1