From 9ae318190c55dc2fe288eaa87dbe7fca68800579 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sat, 13 Feb 2016 19:45:22 -0500 Subject: [PATCH] Index to example source files for chapters --- README.md | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/README.md b/README.md index 97cad38..0b8ab47 100644 --- a/README.md +++ b/README.md @@ -3,3 +3,8 @@ This is an in-progress, open-source book by [Adam Chlipala](http://adam.chlipala.net/) simultaneously introducing [the Coq proof assistant](http://coq.inria.fr/) and techniques for proving correctness of programs. That is, the game is doing completely rigorous, machine-checked mathematical proofs, showing that programs meet their specifications. Just run `make` here to build everything, including the book `frap.pdf` and the accompanying Coq source modules. + +# Code associated with the different chapters + +* Chapter 2: `BasicSyntax.v` +* Chapter 3: `Interpreters.v`