Index of /code.haskell.org/Agda/benchmark/

../
Syntacticosmos/                                    15-Feb-2019 15:17                   -
ac/                                                15-Feb-2019 15:17                   -
categories/                                        15-Feb-2019 15:14                   -
cwf/                                               15-Feb-2019 15:14                   -
logs/                                              15-Feb-2019 15:16                   -
misc/                                              15-Feb-2019 15:14                   -
monad/                                             15-Feb-2019 15:14                   -
nofib/                                             15-Feb-2019 15:17                   -
proj/                                              15-Feb-2019 15:14                   -
std-lib/                                           15-Feb-2019 15:14                   -
Benchmark.hs                                       15-Feb-2019 15:17                5237
Makefile                                           15-Feb-2019 15:14                 890
emacs                                              15-Feb-2019 15:17                1997
notes                                              15-Feb-2019 15:17                3377
termination-depth-1-against-100.txt                15-Feb-2019 15:17                4836
tests.mk                                           15-Feb-2019 15:17                1516