Index of /code.haskell.org/Agda/benchmark/logs/20110910-23.55-Ulfs-MacBook-Pro/

../
ac1                                                15-Feb-2019 15:15                1984
ac2                                                15-Feb-2019 15:15                2042
ac3                                                15-Feb-2019 15:15                1467
any                                                15-Feb-2019 15:15                1599
cat                                                15-Feb-2019 15:15                1567
cwf                                                15-Feb-2019 15:15                1755
data                                               15-Feb-2019 15:15                1537
functor                                            15-Feb-2019 15:15                1543
latemeta                                           15-Feb-2019 15:15                1585
monad                                              15-Feb-2019 15:15                1597
monadpostulate                                     15-Feb-2019 15:15                1617
nested                                             15-Feb-2019 15:15                1541
patternmatch                                       15-Feb-2019 15:15                1543
polyfunctor                                        15-Feb-2019 15:15                1637
prim                                               15-Feb-2019 15:15                1565
record                                             15-Feb-2019 15:15                1541
syntax1                                            15-Feb-2019 15:15                2582
syntax2                                            15-Feb-2019 15:15                1503