Skip to content

mietek/sf

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

26 Commits
 
 
 
 
 
 
 
 
 
 

Repository files navigation

sf

Mirror of the Software Foundations series of books. Includes generated PDFs.

Usage

To regenerate the PDFs, ensure Coq, QuickChick, and LaTeX are installed, then:

$ make

Notes

The Makefiles are patched during the build process, so that chapters are generated in the right order, and the LaTeX nesting limit is not reached.

Similarly, the Typeclasses and QuickChickTool chapters of the QuickChick book are patched, so that a diacritic does not confuse LaTeX, and code listings appear in the output as intended.

About

Packaged by Miëtek Bak.

About

Mirror of Software Foundations in PDF

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages