We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Agda 2.6.0.1 stable release
Agda 2.6.0 stable release
Agda 2.6.0 second release candidate
Agda 2.6.0 release candidate
Agda 2.6.0 release candidate 1
Agda 2.5.4.3 release candidate 1
Agda 2.5.4.2 release
Agda 2.5.4.2 release candidate 1
Failed release candidate
Agda 2.5.4.1 stable release