[TYPES/announce] New release of Software Foundations text

[Benjamin C. Pierce]

I'm delighted to announce that the Software Foundations team has recently released a new revision of our online textbook:

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

The book covers a semester-long course on basic Coq usage, constructive logic, and core topics in the theory of programming languages.  It is being used for graduate and advanced undergraduate courses at several institutions, as well as by many individuals for self-study.  The main novelty is that every line is formalized: the whole book is a Coq script.

Enjoy,

    - Benjamin