reposting this from old account so I can pin it
A Mastodon instance for users who like the study of programming languages, formal semantics, types, and linguistics.
