I used to think it was silly people named their type theories TT because it looks like an uppercase Pi because I didn't really see it but I have a tab open with TT in it and the small text makes me mistake it for a Pi so yeah. I see it now

Sign in to participate in the conversation

A Mastodon instance for users who like the study of programming languages, formal semantics, types, or linguistics.