• Home
• Search 
• Browse
• What's new
• Upload
• User accounts

Directory listing for Agda-2.7.20250524 candidate source tarball

Agda-2.7.20250524/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
• 2.7.0.1.md
• 2.7.0.md