1:02:54Logic & Foundations with Haskell: Haskell 5 :: Implementing Logical FunctionsMarius Furter549 viewsView & Download
1:04:18Logic & Foundations with Haskell: Haskell 8 :: Implementing FunctionsMarius Furter324 viewsView & Download
1:11:03Logic & Foundations with Haskell: Haskell 2 :: Basic OperationsMarius Furter931 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 Furter211 viewsView & Download
23:01Logic & Foundations with Haskell: Haskell 13 :: Integers from Natural NumbersMarius Furter293 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 Furter800 viewsView & Download
48:01Logic & Foundation with Haskell: Haskell 9 :: Natural NumbersMarius Furter352 viewsView & Download
49:27Logic & Foundations with Haskell: Logic 6 :: Language of Propositional LogicMarius Furter475 viewsView & Download
20:33Logic & Foundations with Haskell: Haskell 11 :: Partial and Multivalued FunctionsMarius Furter230 viewsView & Download