A clone of Adam Chlipala's mercurial repos, containing the code for "Certified Programming with Dependent Types". The original can be found here: http://adam.chlipala.net/cpdt/repo/