Staleness rating for this page: A little old If you've ended up here directly in a web search or otherwise, I'd consider going to the front page.

Front page Academia Coding Book recommendations Links Archives

Adam Chlipala E-mail: adam at devlocus.org ICQ: 489166 AIM: PsionV