Jason (jcreed) wrote,

Got some work done today. Thinking more about viewing LF in "substitution-form"; it seems to be (unsurprisingly) quite compatible with Frank's multimodal extension, but doesn't fit quite as nicely with HLF, which I think reveals the same fundamental difficulties I'm having with defining unification for it.

Had dinner at Penn Brewery celebrating Karen's birthday — I had had an unusually-timed inter-lunch-dinner meal, so I was inconveniently not hungry enough for a full dinner but not completely unhungry, but I just got a cup of Goulash and it hit the spot. I should go again some time and get something with Spätzle.
Tags: food, work

  • Post a new comment


    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded