pl/frap
1
0
Fork 0
mirror of https://github.com/achlipala/frap.git synced 2024-09-20 04:07:13 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Update README with new chapter

Browse source
This commit is contained in:
Adam Chlipala 2016-03-16 11:25:39 -04:00
parent 8e6b5b8996
commit af77717e4f
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
README.md
View file

@ -12,3 +12,4 @@ Just run `make` here to build everything, including the book `frap.pdf` and the
* Chapter 5: `ModelChecking.v` * Chapter 5: `ModelChecking.v`
* Chapter 6: `OperationalSemantics.v` * Chapter 6: `OperationalSemantics.v`
* Chapter 7: `AbstractInterpretation.v` * Chapter 7: `AbstractInterpretation.v`
* Chapter 8: `LambdaCalculusAndTypeSoundness.v`