附录

附录只收录查阅型资料，不承担循序渐进的教学：

• 当前工具链状态：当前仓库已经实现并测试覆盖的语言、标准库、后端和工具能力；
• 形式化语法：声明、语句、表达式、类型和模式的文法；
• 错误码参考：编译器各阶段错误码、原因与示例。

项目构建、编辑器和 FFI 已移到“工程与工具”部分，因为它们属于日常工作流，而不是语言附录。