Jason (jcreed) wrote,

Got some research work done. Even the statement of the correctness of the translation to LF-with-erased terms from regular LF is quite a headache. Since information, on the surface, is lost in both directions (annotations are lost into LF, and subterms are lost going out of it) I can't just merely erase things in one direction.

Took the key to CFA 160 that Victoria lent me and messed around on the piano in there. Really enjoyed playing Bird's "Blues for Alice". I thought I had lost the fake-book photocopy for it, (which I got from Vincent years and years ago) but it turned up when I was emptying out a box to put Norm's books in last thursday.

  • 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