Type systems: actually started in on λ-calculus today. β-convert the night away! Eventually they will indeed get to more deep stuff, according to the syllabus, anyway.
D&D: I was rolling really crappy numbers all night unless I'm falling prey to some sort of statistical fallacy. Left somewhat early, feeling tired to the point of almost feeling sick, but that feeling subsided a bit later as I at least walked around a bit and got something small to eat, and I did manage to sleep continuously until my alarm clock went off.