Comment by dark-star

3 years ago

Wow, I would really like to get this book to complete my set of the Little Schemer, the Seasoned Schemer and the Reasoned Schemer. But 55$ is almost twice as expensive as the other books. Yes, it is bigger than those but still...

Have to think about this for a while :)

Rated on dollars per hour of brain upgrades, thinking and enjoyment, it doesn’t get better than a good book.

The little schemer is $40 now, reasoned schemer is $30, and the little typer is $38 (about twice as thick as the other two).

I had to think on the little schemer, but grabbed it because my ten year old said that the little typer was "interesting", and I thought he might learn something from it.

Probably should finish working through what I have before getting another, though.

  • Your ten-year-old was interested in dependent types? You can turn to the back of the book and show him that truths begin with 𝚪 ⊢

There's also "The Little Typer" and "The Little Prover."