Discuss

GitHub Discussions on the repository, embedded here with giscus. A rule change is a pull request touching the rule's doc, its Python and browser twins and the parity test together; the discussion happens here, the decision is a merge.

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 docs/rules.md, rules.py, engine.js and the parity test together.

This category is not wired yet: the repository owner enables Discussions on the repository, installs the giscus app, and pastes the category id from giscus.app into qccd/site/giscus.json. Until then, discuss 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 wired yet: the repository owner enables Discussions on the repository, installs the giscus app, and pastes the category id from giscus.app into qccd/site/giscus.json. Until then, discuss on GitHub.

Features

What the platform should do next.

This category is not wired yet: the repository owner enables Discussions on the repository, installs the giscus app, and pastes the category id from giscus.app into qccd/site/giscus.json. Until then, discuss on GitHub.