Jason (jcreed) wrote,

Been feeling increasingly sick today since about noonish. Finding it kind of hard to sustain much of an attention span through stabby stomach pain, but I read enough of [Miller Nadathur Pfenning Scedrov '89] to kind of grasp that the point of hereditary Harrop formulae is that they are the sublanguage of sequents where it's safe to always focus on the right if at all possible. (i.e. if you don't have an atomic proposition there) At least I hope that's right, because that's the conclusion I came to.
Tags: logic programming, math, sick, work

  • (no subject)

    Still watching "Hell on Wheels". The characters motivations frequently make no sense at all, but at least they killed off the by-far most annoying…

  • (no subject)

    Watched some more "Hell on Wheels". Second season got dark fast.

  • (no subject)

    Tried watching ep 1 of "Hell on Wheels", which my dad recommended. It has a vaguely Deadwood feel, although the dialogue doesn't obviously sparkle…

  • Post a new comment


    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded