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


../
fixed/                                             15-Feb-2019 15:17                   -
FamilyPattern.agda                                 15-Feb-2019 15:17                 351
ImpossiblePattern.agda                             15-Feb-2019 15:17                  52
Issue1023.agda                                     15-Feb-2019 15:17                 930
Issue1075.agda                                     15-Feb-2019 15:17               15555
Issue166NotSized.agda                              15-Feb-2019 15:17                 436
Issue325b.agda                                     15-Feb-2019 15:17                1080
Issue532.agda                                      15-Feb-2019 15:17                 368
Lambda.agda                                        15-Feb-2019 15:17                 257
LongList.agda                                      15-Feb-2019 15:17               23182
Mutual.agda                                        15-Feb-2019 15:17                 810
RecursiveRecord.agda                               15-Feb-2019 15:17                 266
SizedTypesLoopDueInadmissibility.agda              15-Feb-2019 15:17                1514
SizedTypesMergeSort.agda                           15-Feb-2019 15:17                1211
SizedTypesScopeViolationInMeta.agda                15-Feb-2019 15:17                 691
TerminationSubpattern.agda                         15-Feb-2019 15:17                1171
univ.agda                                          15-Feb-2019 15:17               10037