Daniel Miller took LaTeX notes during the lectures. His notes are available here.
(I have not edited the notes, but I intend to do so in the future. I would appreciate any comments or corrections!)