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

../
ac1                                                15-Feb-2019 15:16                2562
ac2                                                15-Feb-2019 15:16                2685
ac3                                                15-Feb-2019 15:16                1571
any                                                15-Feb-2019 15:16                1742
cat                                                15-Feb-2019 15:16                1740
cwf                                                15-Feb-2019 15:16                2002
data                                               15-Feb-2019 15:16                1707
functor                                            15-Feb-2019 15:16                1712
latemeta                                           15-Feb-2019 15:16                1756
monad                                              15-Feb-2019 15:16                1887
monadpostulate                                     15-Feb-2019 15:16                1758
nested                                             15-Feb-2019 15:16                1711
patternmatch                                       15-Feb-2019 15:16                1715
polyfunctor                                        15-Feb-2019 15:16                1780
prim                                               15-Feb-2019 15:16                1735
record                                             15-Feb-2019 15:16                1711
syntax1                                            15-Feb-2019 15:16                3349
syntax2                                            15-Feb-2019 15:16                1607