Index of /code.haskell.org/Agda/benchmark/logs/20121005-18.37-Ulfs-MacBook-Pro/

../
ac1                                                15-Feb-2019 15:16                2579
ac2                                                15-Feb-2019 15:16                2706
ac3                                                15-Feb-2019 15:16                1570
any                                                15-Feb-2019 15:16                1772
cat                                                15-Feb-2019 15:16                1741
cwf                                                15-Feb-2019 15:16                2038
data                                               15-Feb-2019 15:16                1733
functor                                            15-Feb-2019 15:16                1715
latemeta                                           15-Feb-2019 15:16                1754
monad                                              15-Feb-2019 15:16                1893
monadpostulate                                     15-Feb-2019 15:16                1787
nested                                             15-Feb-2019 15:16                1737
patternmatch                                       15-Feb-2019 15:16                1714
polyfunctor                                        15-Feb-2019 15:16                1783
prim                                               15-Feb-2019 15:16                1761
record                                             15-Feb-2019 15:16                1737
syntax1                                            15-Feb-2019 15:16                3421
syntax2                                            15-Feb-2019 15:16                1606