Index of /code.haskell.org/Agda/benchmark/logs/20120509-13.01-Ulfs-MacBook-Pro/

../
ac1                                                15-Feb-2019 15:15                2244
ac2                                                15-Feb-2019 15:15                2328
ac3                                                15-Feb-2019 15:15                1563
any                                                15-Feb-2019 15:15                1697
cat                                                15-Feb-2019 15:15                1694
cwf                                                15-Feb-2019 15:15                1878
data                                               15-Feb-2019 15:15                1662
functor                                            15-Feb-2019 15:15                1667
latemeta                                           15-Feb-2019 15:15                1711
monad                                              15-Feb-2019 15:15                1803
monadpostulate                                     15-Feb-2019 15:15                1713
nested                                             15-Feb-2019 15:15                1666
patternmatch                                       15-Feb-2019 15:15                1670
polyfunctor                                        15-Feb-2019 15:15                1735
prim                                               15-Feb-2019 15:15                1690
record                                             15-Feb-2019 15:15                1666
syntax1                                            15-Feb-2019 15:15                2836
syntax2                                            15-Feb-2019 15:15                1601