TYPES.HK
- Session 1: Introduction to Haskell Development
- Session 2: Types, Curried Functions and QuickCheck
- Session 3: Recursive Functions and Sorting
- Session 4: List Comprehension and Higher-order Functions
- Session 5: Datatypes
- Session 6: Mid Term Review
- Session 7: Parser Combinators
- Session 8: IO and Monads
- Session 9: Equational Reasoning and Structural Induction