mirror of
https://github.com/achlipala/frap.git
synced 2024-11-10 00:07:51 +00:00
Fix filename in README
This commit is contained in:
parent
849b547c2d
commit
975d2d5835
1 changed files with 1 additions and 1 deletions
|
@ -9,7 +9,7 @@ Just run `make` here to build everything, including the book `frap_book.pdf` and
|
|||
The main narrative, also present in the book PDF, presents standard program-proof ideas, without rigorous proofs. Matching Coq files here show how to make it rigorous. Interleaved with that narrative, there are also other lectures' worth of material, for building up more practical background on Coq itself. That secondary track appears in this list, too, at a higher level of indentation.
|
||||
|
||||
* Chapter 2: `BasicSyntax.v`
|
||||
* `DataStructures.v`: polymorphism and generic data structures
|
||||
* `Polymorphism.v`: polymorphism and generic data structures
|
||||
* Chapter 3: `Interpreters.v`
|
||||
* Chapter 4: `TransitionSystems.v`
|
||||
* Chapter 5: `ModelChecking.v`
|
||||
|
|
Loading…
Reference in a new issue