*We will continue to develop these notes over the next few days. Expect some of the notes already posted to be expanded, and more notes to appear.*
* [[Arithmetic with Church numbers|topics/week3_church_arithmetic]]
-* [[What is computation?|topics/week3_what_is_computation]]
* [[More on Lists|topics/week3 lists]]
Introduces list comprehensions, discusses how to get the `tail` of lists in the Lambda Calculus (and will discuss some other list encodings)
-* [[Combinatory Logic|topics/week3 combinatory logic]]
+* [[What is computation?|topics/week3_what_is_computation]]
* Reduction Strategies and Normal Forms
* Usefulness of `()`
+* [[Combinatory Logic|topics/week3 combinatory logic]]
* [[Homework for week 3|exercises/assignment3]]
-