Follow

we changed "post" back to "toot" -- it got changed in 3.4, for some reason

- hazel

@systemf someone made a pr to change it back to post and it got accepted which makes me sad

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.