susancalvin's journal)Went to Aleks's thesis oral, and Andy Pitt's talk on "fresh names". Had an advisor meeting in the middle of the two, wherein Frank told me about some crazy idea having to do with sticking equational assumptions in an LF context in some way that somehow wasn't supposed to lead to undecidability.
