Discuss

GitHub Discussions on the repository, embedded here with giscus. A rule is one assertion in the rule language; a new rule, or a change to one, is proposed and discussed here, and the decision is a change to the catalogue of rules.

To point at one spot instead: sign in from the bar, press + Comment, and click the word, figure or control you mean. The note stays pinned there for every signed-in reader, who can reply under it. Only signed-in readers see comments, and accounts are by invitation: ask the site admin for a link, follow it once, and the account is yours.

Rules

Proposals to add, drop or reword a rule. Link the rule's anchor in the docs; the change itself is a pull request that touches the rule's prose, its two implementations and the parity test together.

This category is not shown on this page yet: discuss it on GitHub.

Bugs

Something the studio, the compiler or the checker got wrong. Attach the qccd.studio artifact the page exports; a reproducible one becomes an issue.

This category is not shown on this page yet: discuss it on GitHub.

Features

What the platform should do next.

This category is not shown on this page yet: discuss it on GitHub.