4 ms·
Came here to say the same thing. The other books in the series are pretty good too. E.g. The Little Prover https://mitpress.mit.edu/9780262527958/the-little-
by Lio 4y ago
Came here to say the same thing. The other books in the series are pretty good too.
E.g. The Little Prover https://mitpress.mit.edu/9780262527958/the-little-prover/ https://mitpress.mit.edu/9780262527958/the-little-prover/
and
The Little Typer https://mitpress.mit.edu/9780262536431/the-little-typer/ https://mitpress.mit.edu/9780262536431/the-little-typer/
- nobleach 4y agoI've always wanted to look into these other books! (I even purchased The Reasoned Schemer - but failed to start reading it). Someday... probably when I retire.