An attempt to compile and generate docs from Benjamin Pierce's "Software Foundations"