* 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.
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