## Topics by content ##
+* [[What is computation?|topics/week3_what_is_computation]]
+
* Functional Programming
* [[Introduction|topics/week1 kapulet intro]]
* Reduction Strategies and Normal Forms
-* Combinatorial Logic
+* [[Combinatory Logic|topics/week3 combinatory logic]]
## Topics by week ##
* [[Encoding Booleans, Tuples, Lists, and Numbers|topics/week2 encodings]]
* [[Homework for week 2|exercises/assignment2]]
-Week 3:
+Week 3:But even deci
+* [[What is computation?|topics/week3_what_is_computation]]
* More on Lists
Introduces list comprehensions, discusses how to get the `tail` of lists in the Lambda Calculus
-* Combinatorial Logic
+* [[Combinatory Logic|topics/week3 combinatory logic]]
* Reduction Strategies and Normal Forms
* Homework for week 3