3 ms·
>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
by coolsunglasses 11y ago
>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.
- nextos 11y agoWell, 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).