if you download anything from my website, make sure to upload it again when you're done with it

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.