How do you tell if a PTS is consistent or not? CoC and System U/U- aren't the only ones after all, is there a pattern

Sign in to participate in the conversation

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