Index of /code.haskell.org/Agda/benchmark/logs/20110907-03.11-Ulfs-MacBook-Pro/

../
ac1                                                15-Feb-2019 15:16                1789
ac2                                                15-Feb-2019 15:16                1826
ac3                                                15-Feb-2019 15:16                1467
cat                                                15-Feb-2019 15:16                1545
cwf                                                15-Feb-2019 15:16                1635
data                                               15-Feb-2019 15:16                1515
functor                                            15-Feb-2019 15:16                1549
latemeta                                           15-Feb-2019 15:16                1564
monad                                              15-Feb-2019 15:16                1548
monadpostulate                                     15-Feb-2019 15:16                1568
nested                                             15-Feb-2019 15:16                1519
patternmatch                                       15-Feb-2019 15:16                1522
polyfunctor                                        15-Feb-2019 15:16                1588
prim                                               15-Feb-2019 15:16                1543
record                                             15-Feb-2019 15:16                1519
syntax1                                            15-Feb-2019 15:16                2170
syntax2                                            15-Feb-2019 15:16                1503