Index of /code.haskell.org/Agda/benchmark/logs/20090423-08.30-ulf-norells-macbook-pro/

../
ac1                                                15-Feb-2019 15:15                1516
ac2                                                15-Feb-2019 15:15                1521
ac3                                                15-Feb-2019 15:15                1501
cat                                                15-Feb-2019 15:15                1529
cwf                                                15-Feb-2019 15:15                1519
monad                                              15-Feb-2019 15:15                1508
syntax1                                            15-Feb-2019 15:15                1561
syntax2                                            15-Feb-2019 15:15                1540