## Announcements ##
+* [[Untyped lambda calculus evaluator|code/lambda_evaluator]] on this site
+
* This wiki will be undergoing lots of changes throughout the semester, and particularly in these first few days as we get it set up, migrate over some of the content from the previous time
we taught this course, and iron out various technical wrinkles. Please be patient. When you sit down to read the wiki, it's a good idea to always hit "Refresh" in your browser to make sure you're reading the latest additions and refinements of the website. (Sometimes these will be tweaks, other times very substantial. Updates will happen at miscellaneous hours, sometimes many times in a given day.)
> Also, if you're reading the Hankin book, try reading Chapters 1-3. You will most likely need to come back again and read it multiple times; but this would be a good time to make the first attempt.
+> We posted [[answers to Week 1's homework|exercises/assignment1_answers]].
+
+(**Week 3**) Thursday 12 February 2015
+> Topics:
+More on Lists (in progress);
+Combinatory Logic (in progress);
+Reduction Strategies and Normal Forms (in progress);
+Homework (in progress)
+
+> Also, by this point you should be able to handle all of *The Little Schemer* except for Chapters 9 and 10. Chapter 9 covers what is going on under the hood with `letrec`, and that will be our topic for next week.
+
<!--
We've added a [[Monad Library]] for OCaml.