Jason (jcreed) wrote,
Jason
jcreed

Got way too much pizza for lunch, but it was tasty. My italian vocab has expanded to include il conto, thanks to the airport-bookstore crappy little italian phrasebook.

Talked to carsten about various technicalish things after the talks. Turns out Jeff Sarnat's working with him doing logical relations proofs for Sigma types. I may have to bug him about seeing that stuff; it sounds pretty cool, despite my being fairly successfully wooed over to the side of Kevin Watkins' nuthin'-but-canonical-forms syntax.
Subscribe
  • 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