Course report SML VT2022.pdf