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.
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.
-
(no subject)
Guy from Seattle team we've been working with showed up today at work; no matter how much I'm generally comfortable working with remote teams (and I…
-
(no subject)
Didn't sleep well. Long day of work. Dinner with akiva at hanamichi.
-
(no subject)
Sean's back in town --- good fun working with nonremote teammates.
- Post a new comment
- 0 comments
- Post a new comment
- 0 comments
