X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=index.mdwn;h=10aa5037a4aff8168a0f60625a2d6033b31f7a91;hp=74aaddf96e792d606cfb48fcac3f65926b386212;hb=5c1224c91213e70c1cb666046e6b44afadc0a876;hpb=d84080ee53c691870c5a8cf462e08bcc5b888104

diff --git a/index.mdwn b/index.mdwn
index 74aaddf9..10aa5037 100644
--- a/index.mdwn
+++ b/index.mdwn
@@ -122,7 +122,7 @@ and Caml, which are prominent *functional programming languages*. We'll explain
 what that means during the course.
 
 *	**Scheme** is one of two major dialects of *Lisp*, which is a large family
-of programming languages. The other dialect is called "Common Lisp." Scheme
+of programming languages. Scheme
 is the more clean and minimalistic dialect, and is what's mostly used in
 academic circles.
 Scheme itself has umpteen different "implementations", which share most of
@@ -135,8 +135,7 @@ another Scheme implementation, though, there's no compelling reason to switch.)
 	Racket stands to Scheme in something like the relation Firefox stands to HTML.
 
 *	**Caml** is one of two major dialects of *ML*, which is another large
-family of programming languages. The other dialect is called "SML" and has
-several implementations. But Caml has only one active implementation,
+family of programming languages. Caml has only one active implementation,
 OCaml, developed by the INRIA academic group in France.
 
 *	Those of you with some programming background may have encountered a third
@@ -156,6 +155,8 @@ other.
 
 ## Recommended Books ##
 
+It's not necessary to purchase these for the class. But they are good ways to get a more thorough and solid understanding of some of the more basic conceptual tools we'll be using.
+
 *	*An Introduction to Lambda Calculi for Computer Scientists*, by Chris
 Hankin, currently $17 on
 [Amazon](http://www.amazon.com/Introduction-Lambda-Calculi-Computer-Scientists/dp/0954300653).