Jason (jcreed) wrote,

Woo, broke 10k, and for the moment I am beating tom7 and heather, at 10,468. Very hard to get momentum tonight, though, until I got back to the foul-mouthed, smart-ass, bitter, cynical asshole character that appeared for no good reason in chapter 6. I ♥ her.

I think I have a correct formulation of soundness and completeness of the unification algorithm itself, at last. I spend a good hour or two being very nervous about some nit-pickling little properties of substitutions. Got to watch out for which variables don't occur where.

  • Post a new comment


    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded