Halfway through notes. Spending too much time learning lamda calculus. Switching to the assessment so I don't die.