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

Add new chapter to README

Browse source
This commit is contained in:
Adam Chlipala 2016-03-29 08:57:56 -04:00
parent b9e4f4f131
commit bd17945c3a
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

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