* Reduction Strategies and Normal Forms
-* Combinatorial Logic
+* [[Combinatory Logic|topics/week3 combinatorial 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:
* More on Lists
Introduces list comprehensions, discusses how to get the `tail` of lists in the Lambda Calculus
-* Combinatorial Logic
+* [[Combinatorial Logic|topics/week3 combinatory logic]]
* Reduction Strategies and Normal Forms
* Homework for week 3