Comment by dunham
3 years ago
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 𝚪 ⊢