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

../
Coverage.agda                                      15-Feb-2019 15:14                 775
Functor.agda                                       15-Feb-2019 15:14                1934
FunctorComposition.agda                            15-Feb-2019 15:14                1064
Ids.agda                                           15-Feb-2019 15:14                 262
LateMetaVariableInstantiation.agda                 15-Feb-2019 15:14                 997
UniversePolymorphicFunctor.agda                    15-Feb-2019 15:14                2540