+ There is also now a [library](/lambda library) of lambda-calculus arithmetical and list operations, some relatively advanced.
+-->
+
+(**Week 2**) Thursday 5 February 2015
+> Topics:
+[[Intro to the Lambda Calculus|topics/week2 lambda intro]];
+[[Advanced notes|topics/week2 lambda advanced]];
+[[Encoding Booleans, Tuples, Lists, and Numbers|topics/week2 encodings]];
+[[Homework|exercises/assignment2]]
+
+> 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:
+[[Arithmetic with Church numbers|topics/week3_church_arithmetic]];
+[[More on Lists|topics/week3 lists]];
+[[What is computation?|topics/week3_what_is_computation]];
+[[Reduction Strategies and Normal Forms|topics/week3_evaluation_order]];
+[[Unit and its usefulness|topics/week3 unit]];
+[[Combinatory Logic|topics/week3 combinatory logic]];
+[[Homework|exercises/assignment3]]
+
+> 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. You can also read Chapter 4 of Hankin on Combinatory Logic.
+
+> We posted [[answers to Week 2's homework|exercises/assignment2_answers]].
+
+(**Week 4**) Thursday 19 February 2015
+
+> Topics: [[!img images/tabletop_roleplaying.png size="240x240" alt="Hey, no recursing"]]
+[[Yes, recursing|topics/week4_fixed_point_combinators]];
+[[More about fixed point combinators|topics/week4_more_about_fixed_point_combinators]];
+Towards types (in progress);
+[[Homework|exercises/assignment4]]
+
+> Now you can read Sections 3.1 and 6.1 of Hankin; and browse the rest of Hankin Chapter 6, which should look somewhat familiar.
+
+> If you're reading along in the Pierce book, we've now covered much of the material in his Chapters 1-7.
+
+> We posted [[answers to Week 3's homework|exercises/assignment3_answers]].
+
+(**Week 5**) Thursday 26 February 2015
+> Topics:
+[[Simply-typed lambda calculus|topics/week5 simply typed]];
+[[System F|topics/week5 system F]];
+Types in OCaml and Haskell (will be posted someday);
+Practical advice for working with OCaml and/or Haskell (will be posted someday);
+[[Homework|exercises/assignment5-6]]
+
+> *There is some assigned reading for our next meeting.* This comes in two batches. The first batch consists of [[this footnote|readings/kaplan-plexy.pdf]] from Kaplan's *Demonstratives*. Also recommended, but not mandatory, is [[this selection|readings/king-on-schiffer.pdf]] from Chapter 4 of Jeff King's 2007 book *The Nature and Structure of Content*. The second batch consists of [[this paper|readings/rieppel-beingsthg.pdf]] from Michael Rieppel, a recent Berkeley Philosophy PhD, on Frege's "concept horse" problem. Also recommended, but not mandatory, is [[this selection|readings/king-on-logicism.pdf]] from Chapter 5 of King's book. (It reviews and elaborates his paper "[Designating propositions](http://philpapers.org/rec/KINDP)".)
+
+> If you're interested in the scholarly background on Frege's "concept horse" problem, here is [an entry point](http://philpapers.org/rec/PROWIF).