<ul><li><a target="_blank" href="https://hackage.haskell.org/package/quickspec">QuickSpec</a></li><li><a target="_blank" href="https://youtu.be/bmKYiUOEo2A">Denotational Design: From Meanings to Programs</a></li><li><a target="_blank" href="https://en.wikipedia.org/wiki/Denotational_semantics">Denotational Semantics</a></li><li><a target="_blank" href="http://www.thestrangeloop.com/">StrangeLoop</a></li><li><a target="_blank" href="http://www.thestrangeloop.com/2016/practically-functional-programming.html">Practically Functional Programming</a></li></ul>

QuickSpecDenotational Design: From Meanings to ProgramsDenotational SemanticsStrangeLoopPractically Functional Programming

<ul><li><a href="https://hackage.haskell.org/package/quickspec" rel="noopener noreferrer">QuickSpec</a></li><li><a href="https://youtu.be/bmKYiUOEo2A" rel="noopener noreferrer">Denotational Design: From Meanings to Programs</a></li><li><a href="https://en.wikipedia.org/wiki/Denotational_semantics" rel="noopener noreferrer">Denotational Semantics</a></li><li><a href="http://www.thestrangeloop.com/" rel="noopener noreferrer">StrangeLoop</a></li><li><a href="http://www.thestrangeloop.com/2016/practically-functional-programming.html" rel="noopener noreferrer">Practically Functional Programming</a></li></ul>

That's the Brakes

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

Share That's the Brakes

Sign up to save your podcasts

That's the Brakes

That's the Brakes