Uploaded July 2022 | Updated September 2026, 3 weeks ago
Today we walk through the first session of Joachim Breitner's fantastic propositional logic teaching tool "The Incredible Proof Machine". Try it yourself at http://incredible.pm, or follow along with me as I make many, many mistakes.
Today we walk through the first session of Joachim Breitner's fantastic propositional logic teaching tool "The Incredible Proof Machine". Try it yourself at http://incredible.pm, or follow along with me as I make many, many mistakes.
![[No Commentary] Haskell Programming From First Principles](https://i.ytimg.com/vi/eHyHiXIKYiA/mqdefault.jpg "[No Commentary] Haskell Programming From First Principles
Doing some exercises from the book Haskell Programming From First Principles by Chris Allen and Julie Moronuki")
