diff --git a/README.md b/README.md
index 475f4bd..285a7d5 100644
--- a/README.md
+++ b/README.md
@@ -12,3 +12,4 @@ Just run `make` here to build everything, including the book `frap.pdf` and the
 * Chapter 5: `ModelChecking.v`
 * Chapter 6: `OperationalSemantics.v`
 * Chapter 7: `AbstractInterpretation.v`
+* Chapter 8: `LambdaCalculusAndTypeSoundness.v`