we changed the colors
we :) changed :) the :) colors :)
A Mastodon instance for users who like the study of programming languages, formal semantics, types, or linguistics.