12 thoughts on “found LJ icon of the day

      1. …and next you’ll be telling me that Γ is a set of typing assumptions, M is a term and τ is a type, but I don’t know what that & is doing in there.


      2. Anyway, I’m curious what type system that’s from; that’s a tough thing to Google (though I’m amused that I wrote one of the top hits for “ftv(τ)”).


Leave a Reply to sooz Cancel reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s

This site uses Akismet to reduce spam. Learn how your comment data is processed.