Index of /code.haskell.org/Agda/benchmark/logs/20110629-21.47-ulf-norells-macbook-pro/

../
ac1                                                15-Feb-2019 15:14                1517
ac2                                                15-Feb-2019 15:14                1522
ac3                                                15-Feb-2019 15:14                1501
cat                                                15-Feb-2019 15:14                1546
cwf                                                15-Feb-2019 15:14                1520
functor                                            15-Feb-2019 15:14                1529
latemeta                                           15-Feb-2019 15:14                1552
monad                                              15-Feb-2019 15:14                1525
polyfunctor                                        15-Feb-2019 15:14                1553
syntax1                                            15-Feb-2019 15:14                1562
syntax2                                            15-Feb-2019 15:14                1541