Subject: typo in book
From: Matthias Felleisen (matthias@ccs.neu.edu)
Date: Wed Feb 13 2002 - 15:06:51 EST
Fabio discovere a typo in the book:
------- Start of forwarded message -------
Date: Tue, 12 Feb 2002 17:08:20 -0500 (EST)
From: Fabio Rojas <frojas@ccs.neu.edu>
To: Matthias Felleisen <matthias@ccs.neu.edu>
Subject: Typo in Pierce's Book
Content-Type: TEXT/PLAIN; charset=US-ASCII
On page 168 Section 13.5.3
The 1st paragraph after the presentation of the Preservation Theorem
line 5 contains the following:
Sigma' is either Sigma or else it is exactly (mu, l |--> v1)
This should read
. . . is exactly (Sigma, l |--> T1)
-- Matthias
This archive was generated by hypermail 2b28 : Wed Feb 13 2002 - 15:06:52 EST