god dammit this is actually good 😭. i literally did semantics of programming languages last term too