-This covers some of the same introductory ground as The Little Schemer, but
-this time in ML. It uses another dialect of ML (called SML), instead of OCaml, but there are only
-superficial syntactic differences between these languages. [Here's a translation
-manual between them](http://www.mpi-sws.org/~rossberg/sml-vs-ocaml.html).
+This covers much of the same introductory ground as The Little Schemer, but
+this time in a dialect of ML. It doesn't use OCaml, the dialect we'll be working with, but instead another dialect of ML called SML. The syntactic differences between these languages is slight.
+([Here's a translation manual between them](http://www.mpi-sws.org/~rossberg/sml-vs-ocaml.html).)
+Still, that does add an extra layer of interpretation, and you might as well
+just use The Little Schemer instead. Those of you who are already more
+comfortable with OCaml (or with Haskell) than with Scheme might consider
+working through this book instead of The Little Schemer. For the rest of you,
+or those of you who *want* practice with Scheme, go with The Little Schemer.
+
+* 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, currently $74 hardback / $65 kindle on [Amazon](http://www.amazon.com/dp/0521898854).
+This book is substantial; and although it doesn't presuppose any specific
+mathematical background knowledge, it will be a good choice only if you're
+already comfortable reading advanced math textbooks.
+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.
+
+* Another good book, covering some of the same ground as the Hankin, and the Hindley & Seldin, but delving deeper into typed lambda calculi, is *Types and Programming Languages*, by Benjamin Pierce, currently $77 hardback / $68 kindle on [Amazon](http://www.amazon.com/dp/0262162091). This book has many examples in OCaml.