Luna-Flow/stella

This documentation tracks the current branch state.

Repository Positioning

MoonBit proof-assistant workbench centered on elaboration and type-theoretic core ideas.

Documentation Layout

• README.md for the repository narrative and release baseline.
• doc_standard.md for the documentation contract.
• Module or subsystem folders with api.md, tutorial.md, and design.md.

Module Overview

• elab: Implemented around src/elab.
• theory: Implemented around doc/doc_en.typ.

Documentation Entry Points

• API Reference: elab
• API Reference: theory