Follow

The character limit has been raised to 32767. (because toots are short and inherently signed)

Some notes:
- Don't spam please! Only use the extended character limit if you have to
- If you do spam, I will delete the toot and take action

@systemf I honestly wasn't expecting you to actually raise it that far 🤯​

Sign in to participate in the conversation
types.pl

A Mastodon instance for users who like the study of programming languages, formal semantics, types, or linguistics.