Jason (jcreed) wrote,


Lots of old folks gaming in the lounge.
I played a bit of 99, won a game of Tigris,
and a hand or two of Suicide Spades.

Dinner happened at Del's. After much debating back and
forth, a pretty big party set off for Tessaro's, but
it turned out to be closed. I was a little paranoid
since yesterday about Del's since it was semi-
expensive/fancy stuff, but I got some pizza and
it was really good.

In other news, more solid progress on the project.
The condition for the iteration construct is delicate
but I think I got it right. Just need to prove a couple
more theorems tomorrow and I think I'll be done.

  • Post a new comment


    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded