Acknowledgements

Thanks to Gann Bierner, Richard Cobbe, Moy Easwaran, Sebastian Good, Paul Graunke, Mark Krentel, Mike Sperber, and Stephanie Weirich for contributions of prototypes, libraries, and criticism of PLT documentation.