I’ve published lecture notes from class at Lecture Notes. The formatting for code and inference rules is a little wonky at the moment, but everything is readable. I will be publishing updates after each lecture.