It doesn't really feel like an ending.
I just had my last class at CMU. I'm really glad I got a chance to take 15-312 before I graduated. In my last class we saw how the principle of the excluded middle can weaken your type system (Professor Harper definitely prefers constructive logic to classical). It was a fitting last lecture, I think. It was also rather fitting in that I was sick (I hate uncontrollable coughing, in case you were wondering) and I was 20 minutes late to class (all 4 of us have 10:30 classes on Tuesday/Thursday, and I had low priority on the bathroom mutex). Maybe it just doesn't seem like the end because I still have a paper and a project due tomorrow, and I'm committed to things that involve waking up at a decent hour every day until next Friday. Or perhaps I'm just sick, and this'll hit me when I have time to think about it.