## 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 ##
Basics of functional programming: `let`, `case`, pattern matching, and
recursion. Definitions of factorial.
* [[Advanced notes on functional programming|topics/week1 kapulet advanced]]
-* [[Homework for week 1|exercises/assignment1]]
+* [[Homework for week 1|exercises/assignment1]] ([[Answers|exercises/assignment1_answers]])
Week 2:
* [[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