- Lecture 1 [md] [web] [Seminar] [YouTube Lecture] [YouTube Seminar]
- Functions
- Pattern matching
- Product types
- Where
- Sum types
- Lambdas
- Functions of multiple arguments
- Currying
- Lists
- Quicksort
- Parametric polymorphism in structures
- Lecture 2 [md] [web] [Seminar] [YouTube Lecture] [YouTube Seminar]
- Lecture 3 [md] [web] [Seminar] [YouTube Lecture][YouTube Seminar]
- Lecture 4 [md] [web]