Index of /code.haskell.org/Agda/


../
_darcs/                                            15-Feb-2019 15:44                   -
benchmark/                                         15-Feb-2019 15:17                   -
doc/                                               15-Feb-2019 15:22                   -
examples/                                          15-Feb-2019 15:22                   -
macros/                                            15-Feb-2019 15:22                   -
mk/                                                15-Feb-2019 15:17                   -
notes/                                             15-Feb-2019 15:20                   -
src/                                               15-Feb-2019 15:21                   -
test/                                              15-Feb-2019 15:20                   -
Agda-2.2.0.tar.gz                                  15-Feb-2019 15:22             1302288
Agda-2.2.10.tar.gz                                 15-Feb-2019 15:22             1508414
Agda-2.2.2.tar.gz                                  15-Feb-2019 15:22             1305812
Agda-2.2.4.tar.gz                                  15-Feb-2019 15:21             1316708
Agda-2.2.6.tar.gz                                  15-Feb-2019 15:17             1376818
Agda-2.2.8.tar.gz                                  15-Feb-2019 15:22             1466519
Agda-2.3.0.1.tar.gz                                15-Feb-2019 15:21             1784534
Agda-2.3.0.tar.gz                                  15-Feb-2019 15:14             1784641
Agda-2.3.2.1.tar.gz                                15-Feb-2019 15:17             2043140
Agda-2.3.2.2.tar.gz                                15-Feb-2019 15:17             2034934
Agda-2.3.2.tar.gz                                  15-Feb-2019 15:22             1998602
Agda-2.4.0.2.tar.gz                                15-Feb-2019 15:22             2486243
Agda-2.4.0.tar.gz                                  15-Feb-2019 15:14             2466700
Agda.cabal                                         15-Feb-2019 15:20               19319
Agda2.before-conversion-to-darcs-2-format.tar.xz   15-Feb-2019 15:22             4721960
CHANGELOG                                          15-Feb-2019 15:22              126230
HACKING                                            15-Feb-2019 15:14                1724
LICENSE                                            15-Feb-2019 15:14                2884
Makefile                                           15-Feb-2019 15:17                9028
README                                             15-Feb-2019 15:44               11758
Setup.hs                                           15-Feb-2019 15:44                 909
TODO                                               15-Feb-2019 15:17                8263
aclocal.m4                                         15-Feb-2019 15:22                  90
configure.ac                                       15-Feb-2019 15:14                1312
install-sh                                         15-Feb-2019 15:17                5598