if "system F omega underline" can be a well-established point on the lambda cube, I don't want any more negative feedback on my use of emoji in papers
I do believe that establishes the precedent that "omega underline" is pronounced as "with type constructors"
Computer Fairies is a Mastodon instance that aims to be as queer, friendly and furry as possible. We welcome all kinds of computer fairies!