The Coq mailing list

[Bernard Hurley <bernard AT marcade.biz>]

Adam,

I've started to read through your book, so far rather slowly. I've got stuck 
on Ex. 4 of Ch. 3, but I'll slog away until I get it!

If I find any bugs/typos, I'll tell you!

Bernard

On Sun, Apr 22, 2012 at 04:59:13PM -0400, Adam Chlipala wrote:
> For the last few years, I've been working on Certified Programming with  
> Dependent Types <http://adam.chlipala.net/cpdt/>, a book introducing Coq  
> by following a particular pragmatically oriented approach.  A print  
> version is slated to appear from MIT Press, and I'm lately drawing  
> closer and closer to a version that I'm ready to submit to begin the  
> publication process.