计划覆盖

• 简单类型
• 依赖类型
• Curry-Howard
• 线性类型

原子清单