Jason (jcreed) wrote,
Jason
jcreed

Research: Hackity hack hack. The spine soundness lemma is done, but the interface between soundness and the unification algorithm itself is still troubling. Have to specify that more thoroughly tomorrow.
NaNoWriMo: At 6840, just above target (1700x4) for today. Used up my lead by only writing like 1500 words. Not as much momentum any more. Things are definitely getting harder to push forward. Tomorrow, though, the religious character's turn comes up for a chapter. He's guaranteed fun.

Sally came back from new york today. We all (her, adam, tom, me) went to Kazansky's as per tradition. Have been feeling extraordinarily irritable ever since getting back home.
Subscribe
  • 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 

  • 2 comments