Version Policy

The version numbers of Agda are of the form major.minor.patch, where major is the major version, minor is the minor version, and patch is the patch level. The rules are:

  • Odd patch levels are development versions and can only be obtained from the darcs repository. No guarantees.
  • Even patch level updates are backwards compatible, but not necessarily forwards compatible. For instance, Agda 2.0.2 will type check anything that type checks in Agda 2.0.0, but not necessarily the other way around. Exceptions will be made when an example type checks due to a bug.
  • Minor version updates are not backwards compatible, but moving code between minor versions should not require much work.
  • Major version updates could change anything.