From 01ad154c5a0e8c65c18eb2a268c4ddde5f785cdb Mon Sep 17 00:00:00 2001 From: Ben A Kushigian Date: Sat, 28 Mar 2020 15:07:21 -0700 Subject: [PATCH] Fixed markdown inline was ``` `make lib' ``` should be ``` `make lib` ``` --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 1d387c4..07e911d 100644 --- a/README.md +++ b/README.md @@ -2,7 +2,7 @@ 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_book.pdf` and the accompanying Coq source modules. Alternatively, run `make lib' to build just the book library, not the chapter example files or PDF. +Just run `make` here to build everything, including the book `frap_book.pdf` and the accompanying Coq source modules. Alternatively, run `make lib` to build just the book library, not the chapter example files or PDF. # Code associated with the different chapters