Meeting with Frank went well. Apparently there is some wacky modal logic way of explaining unification evars nicely. Discussed the restriction substitution a bit. I managed to convince him that something funny is going on, but he still thinks it's handleable.
Compilers also went fine. Just some stuff about control flow graphs and CSE and such.
I have a bunch of things that I need to do, though, however much I might rather slack and/or socialize tonight. Laundry, homework, bill-paying, check-cashing, etc. And I should go to the grocery store at some point but I have little to no excitement about going outside again. Maybe I should even make some notes for thingy tomorrow or something.