With an account on types.pl you'll be able to follow people on any Mastodon server and beyond.
Trouble logging in?
A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out. Learn more
