Index of /code.haskell.org/Agda/benchmark/logs/20130902-16.43-Ulfs-QuviQ-Mac/

../
ac1                                                15-Feb-2019 15:15                2817
ac2                                                15-Feb-2019 15:15                2981
ac3                                                15-Feb-2019 15:15                1566
any                                                15-Feb-2019 15:15                1785
cat                                                15-Feb-2019 15:15                1776
cwf                                                15-Feb-2019 15:15                2126
data                                               15-Feb-2019 15:15                1746
functor                                            15-Feb-2019 15:15                1750
latemeta                                           15-Feb-2019 15:15                1791
monad                                              15-Feb-2019 15:15                1966
monadpostulate                                     15-Feb-2019 15:15                1797
nested                                             15-Feb-2019 15:15                1750
patternmatch                                       15-Feb-2019 15:15                1729
polyfunctor                                        15-Feb-2019 15:15                1818
prim                                               15-Feb-2019 15:15                1774
record                                             15-Feb-2019 15:15                1750
syntax1                                            15-Feb-2019 15:15                3839
syntax2                                            15-Feb-2019 15:15                1602