Index of /code.haskell.org/Agda/benchmark/logs/20120926-11.42-bodrum/

../
ac1                                                15-Feb-2019 15:15                2130
ac2                                                15-Feb-2019 15:15                2214
ac3                                                15-Feb-2019 15:15                1449
any                                                15-Feb-2019 15:15                1583
cat                                                15-Feb-2019 15:15                1579
cwf                                                15-Feb-2019 15:15                1764
data                                               15-Feb-2019 15:15                1548
functor                                            15-Feb-2019 15:15                1553
latemeta                                           15-Feb-2019 15:15                1596
monad                                              15-Feb-2019 15:15                1689
monadpostulate                                     15-Feb-2019 15:15                1599
nested                                             15-Feb-2019 15:15                1552
patternmatch                                       15-Feb-2019 15:15                1554
polyfunctor                                        15-Feb-2019 15:15                1621
prim                                               15-Feb-2019 15:15                1576
record                                             15-Feb-2019 15:15                1552
syntax1                                            15-Feb-2019 15:15                2722
syntax2                                            15-Feb-2019 15:15                1485