11:13Haskell for Imperative Programmers #9 - Folding (foldr, foldl)Philipp Hagenlocher91.1K viewsView & Download
1:23:13Haskell for Imperative Programmers #41 - Formal Verification (using Isabelle)Philipp Hagenlocher7.7K viewsView & Download
5:59Haskell for Imperative Programmers #2 - Functions, Types, let & wherePhilipp Hagenlocher159.1K viewsView & Download
30:20Haskell for Imperative Programmers #36 - Category Theory (Functors, Applicatives, Monads)Philipp Hagenlocher31.4K viewsView & Download
15:59Haskell for Imperative Programmers #40 - Termination ProofsPhilipp Hagenlocher4.0K viewsView & Download
56:39Haskell for Imperative Programmers #33 - ParallelismPhilipp Hagenlocher9.0K viewsView & Download