I've loved using Racket docs while working through HTDP. Very clear pleasant to search/look through. Great definitions both with formal specification as well as practical examples, and all the types etc are nicely hperlinked together.