docs: each page keeps only what its reader needs, and a fact stated twice keeps one home - #686

Merged

FBumann merged 9 commits into

claude/docs-split-by-readerfrom

claude/docs-cut

Sep 25, 2026

Commits on Sep 24, 2026

docs: the glossary and the tutorial are cut to what no other page says, and the notation page moves to development
claude
committed
efddd34
docs: the readme, the explanation pages, reading.md, typeset and the how-tos lose what another page already says
claude
committed
7849d13
docs: the language reference loses rationale and repeated rules (in progress)
claude
committed
51d7f2a
docs: the operator table no longer points readers at the notation page, which moved to development
claude
committed
2b824af
Merge branch 'claude/docs-split-by-reader' into claude/docs-cut
claude
committed
dff126c

Commits on Sep 25, 2026