Update

I have now lectured  until the end of Section 7.3 (page 209). I will talk a little bit more on the stuff towards the end of the section: primitive recursive coding of sequences. Thereafter, I will start to lecture Section 7.4.

Those of you who are not familiar with our the book's  coding conventions should read Section 4.5.