carliros / software-foundations-book

http://www.cis.upenn.edu/~bcpierce/sf

Pre-formatted SOFTWARE FOUNDATIONS books

This is just for the sake to support different kind of formats to read these books.