add list_equal? and zero?, formatting

[lambda.git] / index.mdwn

diff --git a/index.mdwn b/index.mdwn
index 5bddb85..af593b6 100644 (file)
--- a/index.mdwn
+++ b/index.mdwn
@@ -14,6 +14,8 @@ One student session to discuss homeworks will be held every Wednesday from 5-6,
 
 ## 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.)
 
@@ -103,7 +105,7 @@ The [[differences between our made-up language and Scheme, OCaml, and Haskell|ro
 (**Week 3**) Thursday 12 February 2015
 > Topics:
 More on Lists (in progress);
-Combinatorial Logic (in progress);
+Combinatory Logic (in progress);
 Reduction Strategies and Normal Forms (in progress);
 Homework (in progress)