Index of /code.haskell.org/Agda/benchmark/logs/20120702-14.40-Ulfs-MacBook-Pro/

../
ac1                                                15-Feb-2019 15:16                2250
ac2                                                15-Feb-2019 15:16                2334
ac3                                                15-Feb-2019 15:16                1569
any                                                15-Feb-2019 15:16                1703
cat                                                15-Feb-2019 15:16                1701
cwf                                                15-Feb-2019 15:16                1884
data                                               15-Feb-2019 15:16                1668
functor                                            15-Feb-2019 15:16                1673
latemeta                                           15-Feb-2019 15:16                1717
monad                                              15-Feb-2019 15:16                1809
monadpostulate                                     15-Feb-2019 15:16                1719
nested                                             15-Feb-2019 15:16                1672
patternmatch                                       15-Feb-2019 15:16                1676
polyfunctor                                        15-Feb-2019 15:16                1741
prim                                               15-Feb-2019 15:16                1696
record                                             15-Feb-2019 15:16                1672
syntax1                                            15-Feb-2019 15:16                2842
syntax2                                            15-Feb-2019 15:16                1607