Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
Agda-2.0.0.tar.gz | 2009-06-08 09:56 | 1.0M | ||
Agda-2.0.1.tar.gz | 2009-06-08 09:56 | 1.0M | ||
Agda-2.1.0.tar.gz | 2009-06-08 09:56 | 1.0M | ||
Agda-2.1.2.tar.gz | 2009-06-08 09:56 | 1.0M | ||
Agda-AFP08.tar.gz | 2009-06-08 09:56 | 1.1M | ||
Agda.cabal | 2009-06-08 09:56 | 8.8K | ||
Agda2.tar.gz | 2009-06-08 09:56 | 1.1M | ||
LICENSE | 2009-06-08 09:56 | 1.1K | ||
Makefile | 2009-06-08 09:56 | 5.0K | ||
Setup.hs | 2009-06-08 09:56 | 75 | ||
TODO | 2009-06-08 09:56 | 8.1K | ||
_darcs/ | 2009-06-08 09:56 | - | ||
aclocal.m4 | 2009-06-08 09:56 | 90 | ||
benchmark/ | 2009-06-08 09:56 | - | ||
configure.ac | 2009-06-08 09:56 | 1.3K | ||
doc/ | 2009-06-08 09:56 | - | ||
examples/ | 2009-06-08 09:56 | - | ||
install-sh | 2009-06-08 09:56 | 5.5K | ||
macros/ | 2009-06-08 09:56 | - | ||
mk/ | 2009-06-08 09:56 | - | ||
notes/ | 2009-06-08 09:56 | - | ||
src/ | 2009-06-08 09:56 | - | ||
test/ | 2009-06-08 09:56 | - | ||