From af77717e4fdd389b1f7a2599bd9fa56f864f15c1 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Wed, 16 Mar 2016 11:25:39 -0400 Subject: [PATCH] Update README with new chapter --- README.md | 1 + 1 file changed, 1 insertion(+) 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`