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


../
Categories.agda                                    17-Feb-2011 11:12                2257
Language.agda                                      18-Dec-2012 13:02                5184
Primitive.agda                                     23-Aug-2011 06:07                3246