Jason (jcreed) wrote,
Jason
jcreed

I'm a long way back into the world of the productive from my earlier freaking out. Have a much better handle on how to implement existential variables now; context manipulation is "handling itself" much more often thanks to merely carrying out substitutions at the right time. Now I just have to implement the critical case of higher-order pattern matching where an evar is actually instantiated, and I'll be able to start testing and debugging. Perfect time to take a break and get dinner!
Subscribe

  • (no subject)

    Lunch at the goog with wjl, also ran into cgarrod and kelli and tomczak and gopi and agoode. Attended sigbovik, was traditional and glonous and…

  • (no subject)

    The eighth sigbovik sigbovicked successfully. A few really funny talks, some farther on the meh end of the spectrum, as is not uncommon. I really…

  • (no subject)

    Sigbovik happened! It was a good and fine sigbovik. I am mostly impressed that it has simply continued to happen for 7 consecutive years.

  • Post a new comment

    Error

    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded 

  • 0 comments