News for hackers. Stuff that matters.

A comment on Software Foundations by Benjamin Pierce et al.. Parent comment

Re:Software Foundations by Benjamin Pierce et al. by coolsunglasses on Sunday December 13, 2015 @11:03PM (#10729358)
>The Little Prover, recently published is also a neat small intro.

Really? I know a lot of programmers that were excited for TLP and were very disappointed. I haven't even gotten a lukewarm review from anyone yet.

[ Parent | on HN ]
Re:Software Foundations by Benjamin Pierce et al. by nextos on Monday December 14, 2015 @06:29AM (#10730461)
Well, it's OK. I don't like any of the Little books or HtDP that much except The Little Schemer (neé as The Little Lisper).
[ Parent | on HN ]