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.