Index of /code.haskell.org/Agda/benchmark/logs/20140205-11.40-dhcp-191156/

../
ac1                                                15-Feb-2019 15:16                2959
ac2                                                15-Feb-2019 15:16                3123
ac3                                                15-Feb-2019 15:16                1566
any                                                15-Feb-2019 15:16                1784
cat                                                15-Feb-2019 15:16                1918
cwf                                                15-Feb-2019 15:16                2268
data                                               15-Feb-2019 15:16                1888
functor                                            15-Feb-2019 15:16                1892
latemeta                                           15-Feb-2019 15:16                1933
monad                                              15-Feb-2019 15:16                1966
monadpostulate                                     15-Feb-2019 15:16                1797
nested                                             15-Feb-2019 15:16                1892
patternmatch                                       15-Feb-2019 15:16                1872
polyfunctor                                        15-Feb-2019 15:16                1960
prim                                               15-Feb-2019 15:16                1916
record                                             15-Feb-2019 15:16                1892
syntax1                                            15-Feb-2019 15:16                3981
syntax2                                            15-Feb-2019 15:16                1603