From 9d22263ad8e53745bd9b8eed4b058a60c2f354fa Mon Sep 17 00:00:00 2001 From: Jim Pryor Date: Tue, 19 Oct 2010 13:54:25 -0400 Subject: [PATCH] index: tweak book links Signed-off-by: Jim Pryor --- index.mdwn | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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). -- 2.11.0