Guides for working on Canopy itself. For the overall docs reading order, see
the main Documentation Index — this page only indexes the
files inside docs/development/.
- API Reference — high-level MoonBit API overview
(
SyncEditor,ProjNode, etc.). - JS Integration Guide — using the editor from JavaScript / the web.
- Tree Editing Manual — structural projectional editing reference.
- Adding a Language — integrate a new language into the framework (uses Markdown as the reference implementation).
- Workflow — development process and common commands.
- Conventions — MoonBit coding standards.
- MoonBit Conventions — Examples —
concrete patterns referenced from
AGENTS.md. - Testing — testing guide and best practices.
- Monorepo & Submodules — git submodule setup and daily cheat sheet.
- Task Tracking — rules for TODOs, plans, and issues.
- Technical Debt — where debt should be fixed and how to retire old paths.
- Documentation Doctrine — how docs in this repo are written and maintained.
- Move Contract — how nodes are relocated across Canopy editors.
- Formal Verification — Why3 / z3 proof workflow
for packages marked
"proof-enabled": true.