[dunham]

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.

[kccqzy]

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 𝚪 ⊢