Hello everyone. I probably will not post significantly here for now, but I am parking the profile in case it becomes more widely used.

types.pl

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