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)

    Guy from Seattle team we've been working with showed up today at work; no matter how much I'm generally comfortable working with remote teams (and I…

  • (no subject)

    Sean's back in town --- good fun working with nonremote teammates.

  • (no subject)

    Sean's in town at work, good times.

  • Post a new comment


    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded