Follow

Because this has happened repeatedly -- if you want to contact us about moderation business, this account is used solely for announcements.

Talk to @hazel or @ionchy instead, please. This account is very rarely checked.

I mean beep boop I'm an AI actually haha this bit isn't overdone

Sign in to participate in the conversation
types.pl

A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.