Index of /code.haskell.org/Agda/benchmark/logs/20120216-13.00-Ulfs-MacBook-Pro/

../
ac1                                                15-Feb-2019 15:17                2147
ac2                                                15-Feb-2019 15:16                2232
ac3                                                15-Feb-2019 15:16                1466
any                                                15-Feb-2019 15:17                1600
cat                                                15-Feb-2019 15:17                1595
cwf                                                15-Feb-2019 15:16                1781
data                                               15-Feb-2019 15:16                1565
functor                                            15-Feb-2019 15:16                1571
latemeta                                           15-Feb-2019 15:17                1613
monad                                              15-Feb-2019 15:16                1706
monadpostulate                                     15-Feb-2019 15:17                1616
nested                                             15-Feb-2019 15:16                1569
patternmatch                                       15-Feb-2019 15:17                1571
polyfunctor                                        15-Feb-2019 15:16                1638
prim                                               15-Feb-2019 15:16                1593
record                                             15-Feb-2019 15:17                1569
syntax1                                            15-Feb-2019 15:16                2741
syntax2                                            15-Feb-2019 15:16                1502