Index of /Agda/test/bugs

[ICO]NameLast modifiedSizeDescription

[DIR]Parent Directory  -
[   ]FamilyPattern.agda17-Feb-2011 11:12 351
[   ]ImpossiblePattern.agda17-Feb-2011 11:12 52
[   ]Issue166NotSized.agda17-Feb-2011 11:12 436
[   ]Issue325b.agda18-Sep-2013 11:05 1.1K
[   ]Issue532.agda08-Nov-2013 14:21 368
[   ]Issue1075.agda17-Mar-2014 08:13 15K
[   ]Lambda.agda17-Feb-2011 11:12 257
[   ]Mutual.agda17-Feb-2011 11:12 810
[   ]RecursiveRecord.agda17-Feb-2011 11:12 266
[   ]SizedTypesLoopDueInadmissibility.agda17-Feb-2011 11:12 1.5K
[   ]SizedTypesMergeSort.agda17-Feb-2011 11:12 1.2K
[   ]SizedTypesScopeViolationInMeta.agda17-Feb-2011 11:12 691
[   ]TerminationSubpattern.agda17-Feb-2011 11:12 1.1K
[DIR]fixed/17-Feb-2011 11:12 -
[   ]univ.agda17-Feb-2011 11:12 9.8K

Apache/2.2.9 (Debian) mod_perl/2.0.4 Perl/v5.10.0 Server at code.haskell.org Port 80