Hackage :: [Package]

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

Tarballs for Agda

The following versions of Agda exist:

• Agda-2.2.0.tar.gz
• Agda-2.2.2.tar.gz
• Agda-2.2.4.tar.gz
• Agda-2.2.6.tar.gz
• Agda-2.2.8.tar.gz
• Agda-2.2.10.tar.gz
• Agda-2.3.0.tar.gz
• Agda-2.3.0.1.tar.gz
• Agda-2.3.2.tar.gz
• Agda-2.3.2.1.tar.gz
• Agda-2.3.2.2.tar.gz
• Agda-2.4.0.tar.gz
• Agda-2.4.0.1.tar.gz
• Agda-2.4.0.2.tar.gz
• Agda-2.4.2.tar.gz
• Agda-2.4.2.1.tar.gz
• Agda-2.4.2.2.tar.gz
• Agda-2.4.2.3.tar.gz
• Agda-2.4.2.4.tar.gz
• Agda-2.4.2.5.tar.gz
• Agda-2.5.1.tar.gz
• Agda-2.5.1.1.tar.gz
• Agda-2.5.1.2.tar.gz
• Agda-2.5.2.tar.gz
• Agda-2.5.3.tar.gz
• Agda-2.5.4.tar.gz
• Agda-2.5.4.1.tar.gz
• Agda-2.5.4.2.tar.gz
• Agda-2.6.0.tar.gz
• Agda-2.6.0.1.tar.gz
• Agda-2.6.1.tar.gz
• Agda-2.6.1.1.tar.gz
• Agda-2.6.1.2.tar.gz
• Agda-2.6.1.3.tar.gz
• Agda-2.6.2.tar.gz
• Agda-2.6.2.1.tar.gz
• Agda-2.6.2.2.tar.gz
• Agda-2.6.3.tar.gz
• Agda-2.6.4.tar.gz
• Agda-2.6.4.1.tar.gz
• Agda-2.6.4.2.tar.gz
• Agda-2.6.4.3.tar.gz
• Agda-2.7.0.tar.gz
• Agda-2.7.0.1.tar.gz
• Agda-2.8.0.tar.gz