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

Directory listing for Agda-2.9.0 candidate source tarball

Agda-2.9.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
  • 2.7.0.1.md
  • 2.7.0.md
  • 2.8.0.1.md
  • 2.8.0.2.md
  • 2.8.0.md
• user-manual/
  • agda.svg