<ul dir="ltr"><li><a target="_blank" href="https://youtu.be/EaxDl5NPuCA">Mocks & Stubs by Ken Scambler</a></li><li><a target="_blank" href="http://www.thestrangeloop.com/2016/practically-functional-programming.html">Practically Functional Programming</a></li><li><a target="_blank" href="https://youtu.be/fVBck2Zngjo">Idris: Type safe printf</a></li></ul>

Mocks & Stubs by Ken ScamblerPractically Functional ProgrammingIdris: Type safe printf

<ul><li><a href="https://youtu.be/EaxDl5NPuCA" rel="noopener noreferrer">Mocks &amp; Stubs by Ken Scambler</a></li><li><a href="http://www.thestrangeloop.com/2016/practically-functional-programming.html" rel="noopener noreferrer">Practically Functional Programming</a></li><li><a href="https://youtu.be/fVBck2Zngjo" rel="noopener noreferrer">Idris: Type safe printf</a></li></ul>

Follow along with Brian Lonsdorf and Hardy Jones as they explore the internet, life, and programming.

Share 4%

Sign up to save your podcasts

4%

4%