The Coq mailing list

[John Beattie <jkb AT hignfy.demon.co.uk>]

If you haven't already seen it, perhaps you might also like Pierce's
software foundations: http://www.cis.upenn.edu/~bcpierce/sf/

I found that Coq'Art was tough going -- I think the material is not
ordered as well as it might be, in the sense that it helps to have
read later chapters before doing the earlier ones.

I was working on CPDT when I found sf, as above.  I am studying on my
own and I find that the level of sugar-coating in sf exactly suits my
needs.  I'm expecting to go back to CPDT, naturally!

Regards,
John


On 2012-04-23 01:46 +0100, Bernard Hurley wrote:
> 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