Index of /code.haskell.org/Agda/benchmark/logs/20100113-19.32-dhcp-20-76/

../
ac1                                                15-Feb-2019 15:15                1504
ac2                                                15-Feb-2019 15:15                1509
ac3                                                15-Feb-2019 15:15                1488
cat                                                15-Feb-2019 15:15                1529
cwf                                                15-Feb-2019 15:15                1507
monad                                              15-Feb-2019 15:15                 864
syntax1                                            15-Feb-2019 15:15                1549
syntax2                                            15-Feb-2019 15:15                1528