The Coq mailing list

[Bernard Hurley <bernard AT marcade.biz>]

Hi John,

Thanks, I'm studying on my own as well. I have found Pierce's book and I
am going through the two in parallel as it were.  When I get stuck on
one I have a look at the other!

On Tue, 2012-04-24 at 21:17 +0100, John Beattie wrote:
> 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