Index of /code.haskell.org/Agda/benchmark/logs/20110901-12.30-Ulfs-MacBook-Pro/

../
ac1                                                15-Feb-2019 15:15                1789
ac2                                                15-Feb-2019 15:15                1826
ac3                                                15-Feb-2019 15:15                1495
cat                                                15-Feb-2019 15:15                1573
cwf                                                15-Feb-2019 15:15                1663
functor                                            15-Feb-2019 15:15                1549
latemeta                                           15-Feb-2019 15:15                1592
monad                                              15-Feb-2019 15:15                1576
monadpostulate                                     15-Feb-2019 15:15                1596
patternmatch                                       15-Feb-2019 15:15                1550
polyfunctor                                        15-Feb-2019 15:15                1618
prim                                               15-Feb-2019 15:15                1571
syntax1                                            15-Feb-2019 15:15                2201
syntax2                                            15-Feb-2019 15:15                1531