Jason (jcreed) wrote,
Jason
jcreed

-

Final revisions for compded paper.

Messing with ZFC in twelf.
Subscribe

  • (no subject)

    Logic programming lately is a tiny bit unexciting because we are going over linear logic in detail. Surely we will be getting back to more strictly…

  • (no subject)

    Definitely had a more decent day today. Class was kind of interesting, and I got the homework for it done in the afternoon. Thanks to…

  • (no subject)

    Whoops, still not quite done with HOT. Two bugs left... --- I have found and fixed two bugs. Any of you familiar with the arithmetic of bugs knows…

  • 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