formatting
[lambda.git] / content.mdwn
index 6778ac8..5d8dbb1 100644 (file)
@@ -82,8 +82,6 @@ Week 2:
 
 Week 3:
 
-*These notes were developed over the course of the week. It'd be a good idea to review them again now, to be sure you've read all the content.*
-
 *   [[Arithmetic with Church numbers|topics/week3_church_arithmetic]]
 *   [[More on Lists|topics/week3 lists]]
 Introduces list comprehensions, discusses how to get the `tail` of lists in the Lambda Calculus, and some new list encodings
@@ -98,7 +96,7 @@ Week 4:
 *   [[Fixed point combinators|topics/week4_fixed_point_combinators]]
 *   [[More about fixed point combinators|topics/week4_more_about_fixed_point_combinators]]
 *   Towards types (in progress)
-*   [[Homework for week 4|exercises/assignment4]] (Answers will be posted soon)
+*   [[Homework for week 4|exercises/assignment4]] ([[Answers|exercises/assignment4_answers]])
 
 Week 5: