X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?a=blobdiff_plain;f=index.mdwn;h=e63c7f7ffa6565a3a52e81700c14f37a16b746c8;hb=914218f3f583a80b63eda3c8df71b58c2fe5fea3;hp=7ba0f05e0b135c4203848cfb5ba143458d9360d4;hpb=34eaf4e6c9dea6e465993683fef78d295c95d6bd;p=lambda.git

diff --git a/index.mdwn b/index.mdwn
index 7ba0f05e..e63c7f7f 100644
--- a/index.mdwn
+++ b/index.mdwn
@@ -128,8 +128,8 @@ OCaml, developed by the INRIA academic group in France.
 *	Those of your with some programming background may have encountered a third
 prominent functional programming language, **Haskell**. This is also used a
 lot in the academic contexts we'll be working through. Its surface syntax
-differs from OCaml, and there are various important things one can do in
-each of Haskell and Ocaml that one can't (or can't as easily) do in the
+differs from Caml, and there are various important things one can do in
+each of Haskell and Caml that one can't (or can't as easily) do in the
 other. But these languages also have a lot in common, and if you're
 familiar with one of them, it's not difficult to move between it and the
 other.
@@ -142,6 +142,10 @@ other.
 Hankin, currently $17 on
 [Amazon](http://www.amazon.com/Introduction-Lambda-Calculi-Computer-Scientists/dp/0954300653).
 
+*	(Another good book covering the same ground as the Hankin book, but
+more thoroughly, and in a more mathematical style, is *Lambda-Calculus and Combinators:
+an Introduction*, by J. Roger Hindley and Jonathan P. Seldin.)
+
 *   *The Little Schemer, Fourth Edition*, by Daniel P. Friedman and Matthias
 Felleisen, currently $23 on [Amazon](http://www.amazon.com/exec/obidos/ASIN/0262560992).
 This is a classic text introducing the gentle art of programming, using the
@@ -161,10 +165,7 @@ this time in ML. The dialect of ML used is SML, not OCaml, but there are only
 superficial syntactic differences between these languages.
 
 
-
-## Schedule of Topics ##
-
-To be added.
+[[Schedule of Topics]]
 
 ----