Browse the Agda code in HTML here.
We mirror the version numbers of agda-stdlib.
| agda | agda-stdlib | agda-stdlib-classes |
|---|---|---|
| v2.6.3 | v1.7.2 | v1.7.2 |
| v2.6.4 | v1.7.3 | v1.7.3 |
| v2.6.4 | v2.0 | v2.0 |
| v2.7.0 | v2.1.1 | v2.1.1 |
| v2.7.0.1 | v2.2 | v2.2 |
| v2.8.0 | v2.3 | v2.3 |
| v2.8.0 | v2.4 | v2.4 |
Minor revisions will append to these major versions (e.g. v2.1.1b or v2.1.1.10).