X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=index.mdwn;h=9ca99f7664d9adb59dbc714f8fd1af0dfc4cf74d;hp=ad2def671982d02a6e389afc79b3693fe2870a73;hb=88ea63fb435e4abacd88efa5c9add82ad6d611f4;hpb=c56f0e077e3f21f8d500e76e2cc7e1db156d5864

diff --git a/index.mdwn b/index.mdwn
index ad2def67..9ca99f76 100644
--- a/index.mdwn
+++ b/index.mdwn
@@ -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]]##
 
 ----