*We will continue to develop these notes over the next few days.*
> Topics:
-Arithmetic with Church numbers (in progress);
+[[Arithmetic with Church numbers|topics/week3_church_arithmetic]];
[[What is computation?|topics/week3_what_is_computation]];
[[More on Lists|topics/week3 lists]] (will be expanded);
[[Combinatory Logic|topics/week3 combinatory logic]];