Download


The download page hosted by sourceforge is here.
The latest binary packages are versioned Agda-1.0.2.
The latest source package is Agda-1.0.2a-latin1.tar.gz, which adds support for compiling with GHC 6.8.x.

 Binary Installations on:

Windows

Mac OS X

Linux x86

 Installation using the Source Tarball

 Installation using our CVS (Concurrent Version System) Repository