X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=index.mdwn;h=3175dcb8c593209bd3de60a2f0cd5412c497d9f7;hp=33b77c879e507a1c0293f00f707429903b215dd7;hb=9dee4176ba7c3094de0eb15fe800bdf2d17c36e2;hpb=9c44e21fdf103d22d86cb3ac7c74eb153670f594

diff --git a/index.mdwn b/index.mdwn
index 33b77c87..3175dcb8 100644
--- a/index.mdwn
+++ b/index.mdwn
@@ -125,7 +125,7 @@ family of programming languages. The other dialect is called "SML" and has
 several implementations. But Caml has only one active implementation,
 OCaml, developed by the INRIA academic group in France.
 
-*	Those of your with some programming background may have encountered a third
+*	Those of you 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 Caml, and there are various important things one can do in
@@ -144,7 +144,11 @@ Hankin, currently $17 on
 
 *	(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.)
+an Introduction*, by J. Roger Hindley and Jonathan P. Seldin. If you choose to read
+both the Hankin book and this book, you'll notice the authors made some different
+terminological/notational choices. At first, this makes comprehension slightly slower,
+but in the long run it's helpful because it makes the arbitrariness of those choices more salient.)
+
 
 *   *The Little Schemer, Fourth Edition*, by Daniel P. Friedman and Matthias
 Felleisen, currently $23 on [Amazon](http://www.amazon.com/exec/obidos/ASIN/0262560992).
@@ -165,10 +169,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]]##
 
 ----