I chime in with a haven't you people ever heard ofclosing the g*ddamn #dorp
A Mastodon instance for users who like the study of programming languages, formal semantics, types, or linguistics.
