Jason (jcreed) wrote,

So steph's graduation thing actually happened today. It was boring in that way that all ceremonies are, but still nice. Now she's off partying for the rest of the day.

Went to Olive Garden with mom, other sister, grandpa, Esther. Tasty chicken parm as always.

Back at home got some work done. I think I actually proved a useful result for the first time in a while, a sort of transitivity property for strict occurrences that has some encouraging implications for the simplicity of this type-reconstruction algorithm. Good chance it's either wrong or old news, but I still feel happy chugging through good ol' N-zillion-case inductions again.

  • Post a new comment


    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded