A web site for “Programming with Higher-Order Logic”

new web site associated to the book (by Miller & Nadathur) is now available.  You can find there links to all the code used in the book (so you can cut-and-paste into your editor) as well as the list of errata.