Update errata.txt

mwand · Apr 3, 2020 · aab14ab · aab14ab
1 parent 2648675
commit aab14ab
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/errata.txt b/errata.txt
@@ -1,6 +1,11 @@
 Errata: 1st Printing EOPL3
 Updated Wed Dec 12 14:44:27 2018
 
+Page 5:
+In the deduction tree 2/3 of the way down the page, all the hypotheses that say "xxx in N" should say "xxx in Int", 
+as described in Definition 1.1.5 (on p. 4)
+h/t: Kyle Stansfield ([email protected])
+
 Page 44:
 Exercise 2.19:
 move-to-left => move-to-left-son