Directory listing for Agda-2.7.0 candidate source tarball
Agda-2.7.0/doc/release-notes/
- 2.2.0.md
- 2.2.10.md
- 2.2.2.md
- 2.2.4.md
- 2.2.6.md
- 2.2.8.md
- 2.3.0.md
- 2.3.2.1.md
- 2.3.2.2.md
- 2.3.2.md
- 2.4.0.1.md
- 2.4.0.2.md
- 2.4.0.md
- 2.4.2.1.md
- 2.4.2.2.md
- 2.4.2.3.md
- 2.4.2.4.md
- 2.4.2.5.md
- 2.4.2.md
- 2.5.1.1.md
- 2.5.1.2.md
- 2.5.1.md
- 2.5.2.md
- 2.5.3.md
- 2.5.4.1.md
- 2.5.4.2.md
- 2.5.4.md
- 2.6.0.1.md
- 2.6.0.md
- 2.6.1.1.md
- 2.6.1.2.md
- 2.6.1.3.md
- 2.6.1.md
- 2.6.2.1.md
- 2.6.2.2.md
- 2.6.2.md
- 2.6.3.md
- 2.6.4.1.md
- 2.6.4.2.md
- 2.6.4.3.md
- 2.6.4.md