Index of /code.haskell.org/Agda/benchmark/logs/20110915-09.14-Ulfs-MacBook-Pro/

../
ac1                                                15-Feb-2019 15:16                2146
ac2                                                15-Feb-2019 15:16                2231
ac3                                                15-Feb-2019 15:16                1467
any                                                15-Feb-2019 15:16                1601
cat                                                15-Feb-2019 15:16                1594
cwf                                                15-Feb-2019 15:16                1780
data                                               15-Feb-2019 15:16                1564
functor                                            15-Feb-2019 15:16                1570
latemeta                                           15-Feb-2019 15:16                1612
monad                                              15-Feb-2019 15:16                1597
monadpostulate                                     15-Feb-2019 15:16                1617
nested                                             15-Feb-2019 15:16                1568
patternmatch                                       15-Feb-2019 15:16                1570
polyfunctor                                        15-Feb-2019 15:16                1637
prim                                               15-Feb-2019 15:16                1592
record                                             15-Feb-2019 15:16                1568
syntax1                                            15-Feb-2019 15:16                2741
syntax2                                            15-Feb-2019 15:16                1503