1:02:54Logic & Foundations with Haskell: Haskell 5 :: Implementing Logical FunctionsMarius Furter550 viewsView & Download
1:04:18Logic & Foundations with Haskell: Haskell 8 :: Implementing FunctionsMarius Furter329 viewsView & Download
1:11:03Logic & Foundations with Haskell: Haskell 2 :: Basic OperationsMarius Furter933 viewsView & Download
53:46Logic & Foundations with Haskell: Haskell 7 :: Implementing RelationsMarius Furter364 viewsView & Download
37:30Logic & Foundations with Haskell: Haskell 12 :: Typeclasses for Natural NumbersMarius Furter212 viewsView & Download
20:33Logic & Foundations with Haskell: Haskell 11 :: Partial and Multivalued FunctionsMarius Furter230 viewsView & Download
33:05Logic & Foundations with Haskell: Haskell 10 :: Folding over ListsMarius Furter320 viewsView & Download
46:50Logic & Foundations with Haskell: Haskell 14 :: Rational and Complex Numbers / PolynomialsMarius Furter837 viewsView & Download
34:26Logic & Foundations with Haskell: Haskell 3 :: Types and TypeclassesMarius Furter802 viewsView & Download
48:01Logic & Foundation with Haskell: Haskell 9 :: Natural NumbersMarius Furter357 viewsView & Download
23:01Logic & Foundations with Haskell: Haskell 13 :: Integers from Natural NumbersMarius Furter293 viewsView & Download
48:37Ryan Orendorff - Functional Programming + Dependent Types ≡ Verified Linear AlgebraKonfy1.6K viewsView & Download