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


../
fixed/                                             17-Feb-2011 11:12                   -
FamilyPattern.agda                                 17-Feb-2011 11:12                 351
ImpossiblePattern.agda                             17-Feb-2011 11:12                  52
Issue1023.agda                                     25-Apr-2014 15:37                 930
Issue1075.agda                                     17-Mar-2014 08:13               15555
Issue166NotSized.agda                              17-Feb-2011 11:12                 436
Issue325b.agda                                     18-Sep-2013 10:05                1080
Issue532.agda                                      08-Nov-2013 14:21                 368
Lambda.agda                                        17-Feb-2011 11:12                 257
LongList.agda                                      01-May-2014 14:58               23182
Mutual.agda                                        17-Feb-2011 11:12                 810
RecursiveRecord.agda                               17-Feb-2011 11:12                 266
SizedTypesLoopDueInadmissibility.agda              17-Feb-2011 11:12                1514
SizedTypesMergeSort.agda                           17-Feb-2011 11:12                1211
SizedTypesScopeViolationInMeta.agda                17-Feb-2011 11:12                 691
TerminationSubpattern.agda                         17-Feb-2011 11:12                1171
univ.agda                                          17-Feb-2011 11:12               10037