An attempt to compile and generate docs from Benjamin Pierce's 'Software Foundations': http://www.cis.upenn.edu/~bcpierce/sf/