Index of /code.haskell.org/Agda/test/bugs/fixed/

../
DotPattern.agda                                    15-Feb-2019 15:17                1893
DroppingParameters.agda                            15-Feb-2019 15:17                 316
HiddenLambda.agda                                  15-Feb-2019 15:17                 168
LostConstraint.agda                                15-Feb-2019 15:17                 930
lexerBug.agda                                      15-Feb-2019 15:17                   4