I woke up at 10:30 this morning, somehow sleeping through my alarm again. I left for Physics II without showering and got there about 10 minutes late. I felt like total crap on the way over there: my eyes wouldn't stop defocusing, my left leg was sort of turned the wrong way every other step, and my mouth tasted like I hadn't brushed my teeth in days.
I had a shower after class was over and felt much better.
Had a meeting with Frank. Went over some issues with pattern substitutions with irrelevance and implementation details. I think I'll skip the last bit of Quantum Comp today to go to the POP seminar. They're doing something about tabled nondeterministic functional programming.