Luna-Flow/stella

このドキュメントは現在のブランチ状態を追跡します。

リポジトリの位置付け

elaboration と型理論コアを中心にした MoonBit 証明支援ワークベンチです。

ドキュメント構成

• README.md にリポジトリ叙述とリリース基線を書く。
• doc_standard.md に文書契約を書く。
• モジュールまたはサブシステム配下に api.md、tutorial.md、design.md を置く。

モジュール概要

• elab: 主な実装は src/elab にあります。
• theory: 主な実装は doc/doc_en.typ にあります。

ドキュメント入口

• API リファレンス: elab
• API リファレンス: theory