Jason (jcreed) wrote,

Lately I've been taking a break from trying to fix my changes to the main Twelf unification algorithm and hacking on type reconstruction for HLF. Made considerable progress today --- fell a little short of the goal I set for this week of actually getting some basic tests to work sort of end-to-end, but I think I might have a shot at it by tomorrow; all I really have left now is some plumbing between twelf and some code I already wrote last year.
Tags: programming, work

  • (no subject)

    After getting home from work immediately appeared to be a traintastrophe in the making, went to see Esther Schor talk about her book "Bridge of…

  • (no subject)

    Thai curry leftovers for dinner. Got a copy of Hennessy and Patterson's textbook on Architecture, and I am enjoying catching up on all the low-level…

  • (no subject)

    Finally the end is in sight for unpacking my books. Heartstrings are pulled over the desire to slim down and get rid of some of them, but so many are…

  • Post a new comment


    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded 

  • 1 comment