For dependent types? I'm really fond of Type Driven Development With Idris.

The Little Schemer is probably this.

Hmm, I don't think so. This book is about dependent types, The Little Schemer is more about introducing Lisp/Scheme fundamentals.

FWIW I found The Little Schemer remarkably devoid of essential context; I found myself wondering "that's interesting, but why is it important?" far too often.

I've run into something similar going through these books. For me to be successful in going through these and understanding the importance of each piece, I think I'd need a project per-chapter to help me gel what I've learned.

Yeah I read this, scheme doesn't involve types.