Sorry for the downtime everyone. Everything should be functioning properly now, with no changes from before. All your toots are where you left them.
— ionchy

Sign in to participate in the conversation

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