Agda 1 - Browse /OldFiles at SourceForge.net

The interactive file manager requires Javascript. Please enable it or use sftp or scp.
You may still browse the files here.

Name	Modified	Size	InfoDownloads / Week
Parent folder
agda-1.0.2-macosx-x86.zip	2007-01-31	7.8 MB	0
agda-1.0.2-macosx-ppc.zip	2007-01-31	8.6 MB	0
Totals: 2 Items		16.4 MB	0

Other Useful Business Software

Cut Data Warehouse Costs by 54%

Easily migrate from Snowflake, Redshift, or Databricks with free tools.

BigQuery delivers 54% lower TCO with exabyte scale and flexible pricing. Free migration tools handle the SQL translation automatically.

Try Free

Custom VMs From 1 to 96 vCPUs With 99.95% Uptime

General-purpose, compute-optimized, or GPU/TPU-accelerated. Built to your exact specs.

Live migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.

Try Free

$300 Free Credits to Build on Google Cloud

New customers can spin up VMs, build with AI, and query data at no cost.

Put your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.

Recommended Projects

Agda
Agda is a dependently typed programming language
The Agda standard library
The Agda standard library
$Atom LaTeX$

Atom LaTeX
Compile LaTeX or knitr documents from within Atom
Intellij rainbow brackets
Rainbow Brackets for IntelliJ based IDEs/Android Studio/HUAWEI DevEco
Archive of Formal Proofs
A collection of machine-checkend mathematical proofs

Agda 1 Files

Get an email when there's a new version of Agda 1