Lamina Standard Recommendation

当前规范

• LSR 000 - Lamina 核心语言规范（草案）
• LSR 001 - LSR 流程规范
• LSR 002 - 标准常量规范
• LSR 003 - Lamina C 扩展与插件规范
• LSR 004 - 标准库
• LSR 006 - Lambda 表达式与类型推导规范
• LSR 007 - === 数学等价判定规范
• LSR 008 - 量纲剥离（Unit Stripping）规范
• LSR 010 - 虚数单位与复数规范
• LSR 012 - 元组类型规范
• LSR 013 - 集合类型规范
• LSR 014 - 运算符规范
• LSR 015 - LMMP 接口规范
• LSR 016 - Expr 构造与提升规范
• LSR 017 - 区间类型规范
• LSR 018 - Never 底类型与 raise 终止效应规范

规范状态

当前规范以本页目录为准。撤回编号及其承接规则见 LSR 001 - LSR 流程规范。

撤回正文保存在 store/withdrawn/，旧版本保存在 store/old/，独立领域提案保存在 proposals/。