1:48:26 Logic & Foundations with Haskell: Logic 5 :: Natural Deduction Marius Furter 883 views - 2 years ago
48:01 Logic & Foundation with Haskell: Haskell 9 :: Natural Numbers Marius Furter 331 views - 2 years ago
1:02:43 Alex McLean on “Making people dance with Haskell” OST – Ostschweizer Fachhochschule 543 views - 1 year ago
33:05 Logic & Foundations with Haskell: Haskell 10 :: Folding over Lists Marius Furter 299 views - 2 years ago
1:37:19 GHC's Renamer - Sam Derbyshire - 2023 GHC Contributor's Workshop The Haskell Foundation 530 views - 2 years ago
1:01:19 Logic & Foundations with Haskell: Logic 2 :: Naive Propositional Logic Marius Furter 1.2K views - 3 years ago
1:11:03 Logic & Foundations with Haskell: Haskell 2 :: Basic Operations Marius Furter 890 views - 3 years ago