Version: 4.2.0.2

5 Acknowledgements

Many thanks to Dave Herman for Javascript.plt and PPrint.plt, both of which are used extensively in Mirrors.

Thanks also to the following for their contributions: David Brooks, Matt Jadud, Fausto LS, Jay McCarthy, Karsten Patzwaldt and Noel Welsh.