X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=index.mdwn;h=88b02615dd14901b242a3f00e935a0fc98a97c94;hp=a2b37cce95c526e945f5915c9440e087f1df3bed;hb=9d22263ad8e53745bd9b8eed4b058a60c2f354fa;hpb=b35fb6de61328e3512cfbcca8f5392056779235f

diff --git a/index.mdwn b/index.mdwn
index a2b37cce..88b02615 100644
--- a/index.mdwn
+++ b/index.mdwn
@@ -246,7 +246,7 @@ both the Hankin book and this book, you'll notice the authors made some differen
 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 previous two, but also delving much deeper into typed lambda calculi, is *Types and Programming Languages*, by Benjamin Pierce, currently $61 on [Amazon](http://www.amazon.com/dp/0262162091).)
+*	(Another good book, covering some of the same ground as the previous two, but also delving much deeper into typed lambda calculi, is *Types and Programming Languages*, by Benjamin Pierce, currently $61 on [Amazon](http://www.amazon.com/dp/0262162091). This book has many examples in OCaml.)
 
 *   *The Little Schemer, Fourth Edition*, by Daniel P. Friedman and Matthias
 Felleisen, currently $23 on [Amazon](http://www.amazon.com/exec/obidos/ASIN/0262560992).