Lecture notes and missing lecture video

Hi all,

• As promised I've created a folder in our git repo we're I'll upload my lecture notes. Note that these are just my personal notes for the blackboard lectures, so they may not be very tidy and may contain small reminders to myself that aren't relevant for you. But it can be useful in case you need to double-check something in