Is the author planning to continue? This sounds like a rich and interesting subject that I would enjoy following through to the end.
Another book I've found helpful for Haskell is:
Haskell Programming from First Principles (http://haskellbook.com/)
[0]: https://www.microsoft.com/en-us/research/publication/the-imp...
The scope of the chapters in this book is huge. I have written one or two functional language compilers as hobby projects, and I have attempted to acquaint myself with the literature in the process.
It has got to be a challenge to create a tutorial sequence of chapters that builds to a satisfying state at each stage. Especially on this topic, which I believe covers almost everything we know about compiling and executing code. The rest of it would maybe require an implementation of Agda or something.