* [[How to get the `tail` of v1 lists?|topics/week3 lists#tails]]
* [[Some other list encodings|topics/week3 lists#other-lists]]
* Reduction Strategies and Normal Forms
+ * [[Fixed point combinators|topics/week4_fixed_point_combinators]]
* [[Combinatory Logic|topics/week3 combinatory logic]]
* [[Unit and its usefulness|topics/week3 unit]] (posted on Wednesday)
* [[Combinatory Logic|topics/week3 combinatory logic]] (revised on Monday and Tuesday)
* [[Homework for week 3|exercises/assignment3]]
+
+Week 4:
+
+* [[Fixed point combinators|topics/week4_fixed_point_combinators]]
+* More on fixed point combinators (in progress)
+* Towards types (in progress)
+