版本策略

Agda的版本号如下主要.次要.匹配，其中专业是主要版本，少数的是次要版本，并且补丁是修补程序级别。规则是：

• 奇数补丁级别是开发版本，只能从darcs存储库中获得。没有保证。
• 即使补丁级别的更新也向后兼容，但不一定向前兼容。例如，Agda 2.0.2将在Agda 2.0.0中键入检查的任何内容，但不一定是相反的。由于错误导致示例类型检查时会出现异常。
• 次要版本更新不向后兼容，但在次要版本之间移动代码不需要太多工作。
• 主要版本更新可能会改变一切。