Index of /code.haskell.org/Agda/benchmark/categories/

../
Categories.agda                                    15-Feb-2019 15:14                2257
Language.agda                                      15-Feb-2019 15:14                5184
Primitive.agda                                     15-Feb-2019 15:14                3246