7:27Haskell for Imperative Programmers #13 - TypeclassesPhilipp Hagenlocher50.5K viewsView & Download
4:59Haskell for Imperative Programmers #21 - data, type & newtypePhilipp Hagenlocher20.1K viewsView & Download
1:10:07"Super Haskell": an introduction to Agda by André MuricyFunc Prog Sweden8.7K viewsView & Download
5:59Haskell for Imperative Programmers #2 - Functions, Types, let & wherePhilipp Hagenlocher159.1K viewsView & Download