Index of /code.haskell.org/Agda/benchmark/logs/20110701-09.48-dhcp-183029/

../
ac1                                                15-Feb-2019 15:16                1505
ac2                                                15-Feb-2019 15:16                1510
ac3                                                15-Feb-2019 15:16                1489
cat                                                15-Feb-2019 15:16                1534
cwf                                                15-Feb-2019 15:16                1508
functor                                            15-Feb-2019 15:16                1517
latemeta                                           15-Feb-2019 15:16                1540
monad                                              15-Feb-2019 15:16                1513
polyfunctor                                        15-Feb-2019 15:16                1541
syntax1                                            15-Feb-2019 15:16                1550
syntax2                                            15-Feb-2019 15:16                1529