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


../
A/                                                 25-Jan-2012 14:24                   -
Imports/                                           15-Nov-2013 11:03                   -
Issue1078/                                         27-Mar-2014 21:58                   -
customised/                                        08-Nov-2013 17:02                   -
AbsToConDecl.agda                                  17-Feb-2011 11:12                  82
AbsToConDecl.err                                   23-Sep-2011 14:50                 228
Abstract.agda                                      03-Oct-2012 13:24                 362
Abstract.err                                       03-Oct-2012 13:24                 106
AbstractBlockInLet.agda                            30-Oct-2013 20:21                 132
AbstractBlockInLet.err                             30-Oct-2013 20:21                 136
AbstractModuleMacro.agda                           18-Nov-2012 16:10                 103
AbstractModuleMacro.err                            18-Nov-2012 22:56                 172
AbsurdPatternRequiresNoRHS.agda                    17-Feb-2011 11:12                 120
AbsurdPatternRequiresNoRHS.err                     17-Feb-2011 11:12                 201
AgdalightTelescopeSyntax.agda                      06-Apr-2011 16:54                 149
AgdalightTelescopeSyntax.err                       08-Apr-2011 14:00                 128
AmbiguousModule.agda                               17-Feb-2011 11:12                  93
AmbiguousModule.err                                08-Oct-2012 21:57                 178
AmbiguousName.agda                                 17-Feb-2011 11:12                 161
AmbiguousName.err                                  08-Oct-2012 21:57                 174
AmbiguousParseForApplication.agda                  17-Feb-2011 11:12                 259
AmbiguousParseForApplication.err                   17-Feb-2011 11:12                 234
AmbiguousParseForLHS.agda                          17-Feb-2011 11:12                 301
AmbiguousParseForLHS.err                           17-Feb-2011 11:12                 294
AmbiguousTopLevelModuleName.agda                   17-Feb-2011 11:12                  67
AmbiguousTopLevelModuleName.err                    29-Oct-2012 20:57                 254
BadCon.agda                                        22-Oct-2013 20:09                 298
BadCon.err                                         22-Oct-2013 20:09                 135
BadInductionRecursion1.agda                        23-Sep-2011 14:50                 283
BadInductionRecursion1.err                         23-Sep-2011 14:50                 221
BadInductionRecursion2.agda                        23-Sep-2011 14:50                 276
BadInductionRecursion2.err                         23-Sep-2011 14:50                 221
BadInductionRecursion3.agda                        23-Sep-2011 14:50                 440
BadInductionRecursion3.err                         23-Sep-2011 14:50                 283
BadTermination.agda                                18-Sep-2013 10:05                 266
BadTermination.err                                 10-Sep-2011 15:18                 132
BoundedSizeNoMatch.agda                            19-Nov-2013 10:02                 329
BoundedSizeNoMatch.err                             20-Nov-2013 16:09                 128
BrokenInferenceDueToNonvariantPolarity.agda        08-Oct-2012 20:44                1542
BrokenInferenceDueToNonvariantPolarity.err         08-Oct-2012 20:44                 154
BuiltinInParameterisedModule.agda                  17-Feb-2011 11:12                 200
BuiltinInParameterisedModule.err                   17-Feb-2011 11:12                 208
BuiltinMustBeConstructor.agda                      27-Nov-2013 18:35                 200
BuiltinMustBeConstructor.err                       27-Nov-2013 18:35                 143
CantOpenConstructorsFromRecordModule.agda          16-Sep-2011 13:31                 209
CantOpenConstructorsFromRecordModule.err           16-Sep-2011 13:31                 149
CheckSizeMetaBounds.agda                           24-Apr-2014 13:50                 806
CheckSizeMetaBounds.err                            24-Apr-2014 13:50                 160
ClashingDefinition.agda                            17-Feb-2011 11:12                 136
ClashingDefinition.err                             17-Feb-2011 11:12                 157
ClashingImport.agda                                17-Feb-2011 11:12                 116
ClashingImport.err                                 17-Feb-2011 11:12                 155
ClashingModule.agda                                17-Feb-2011 11:12                 110
ClashingModule.err                                 08-Oct-2012 21:57                 174
ClashingModuleImport.agda                          17-Feb-2011 11:12                  81
ClashingModuleImport.err                           17-Feb-2011 11:12                 191
Codata.agda                                        17-Feb-2011 11:12                  42
Codata.err                                         17-Feb-2011 11:12                  95
CoinductionAndUnivalence.agda                      12-Jun-2014 17:05                 826
CoinductionAndUnivalence.err                       12-Jun-2014 17:05                 147
CoinductiveBuiltinList.agda                        02-Nov-2013 23:53                 246
CoinductiveBuiltinList.agda-darcs-backup0          17-Feb-2011 11:12                 247
CoinductiveBuiltinList.err                         18-Sep-2013 16:09                 151
CoinductiveBuiltinList.err-darcs-backup0           17-Feb-2011 11:12                 151
CoinductiveBuiltinNatural.agda                     27-Nov-2013 18:35                 169
CoinductiveBuiltinNatural.err                      27-Nov-2013 18:35                 126
CoinductiveConstructorsAndLet.agda                 02-Nov-2013 23:53                 318
CoinductiveConstructorsAndLet.err                  17-Feb-2011 11:12                 176
CoinductiveUnitRecord.agda                         30-Jun-2012 05:57                 396
CoinductiveUnitRecord.err                          30-Jun-2012 05:57                 192
ColistMutual.agda                                  20-Nov-2013 16:07                1009
ColistMutual.err                                   11-Jun-2014 19:59                 178
CompiledMustBePostulate.agda                       17-Feb-2011 11:12                 143
CompiledMustBePostulate.err                        06-Mar-2014 21:37                 123
CompiledMustHaveHaskellType.agda                   17-Feb-2011 11:12                 245
CompiledMustHaveHaskellType.err                    17-Feb-2011 11:12                 134
ComplexIMPORT.agda                                 17-Feb-2011 11:12                  56
ComplexIMPORT.err                                  28-Sep-2011 20:14                  84
ConstructorHeadedDivergenceIn2-2-10.agda           28-Jul-2011 17:12                 904
ConstructorHeadedDivergenceIn2-2-10.err            28-Jul-2011 17:12                 145
ConstructorHeadedPointlessForRecordPatterns.agda   12-Jun-2014 15:07                 706
ConstructorHeadedPointlessForRecordPatterns.err    12-Jun-2014 15:07                 328
CopatternCheckingNYI.err                           18-Sep-2013 10:05                 150
CopatternNonterminating.agda                       15-Jun-2012 10:43                1654
CopatternNonterminating.err                        17-Mar-2014 08:13                 162
CopatternWithoutFieldName.agda                     07-Apr-2012 15:55                 266
CopatternWithoutFieldName.err                      07-Apr-2012 15:55                 174
CopatternsSplitErrorWithUnboundDBIndex.agda        27-Oct-2013 13:50                1122
CopatternsSplitErrorWithUnboundDBIndex.err         11-Nov-2013 23:38                 210
CorrectPrintingOfVariablesInSortCheckingForData..> 22-Feb-2012 21:44                 415
CorrectPrintingOfVariablesInSortCheckingForData..> 22-Feb-2012 21:44                 141
Crash.agda                                         17-Feb-2011 11:12                 246
Crash.err                                          17-Feb-2011 11:12                  95
CyclicModuleDependency.agda                        17-Feb-2011 11:12                  68
CyclicModuleDependency.err                         29-Oct-2012 20:57                 179
DataParameterPolarity.agda                         18-Sep-2012 09:57                 588
DataParameterPolarity.err                          18-Sep-2012 09:57                 105
DataRecordCoinductive.agda                         15-Jun-2012 10:43                 819
DataRecordCoinductive.err                          30-May-2013 14:48                 197
DoNotFireLiteralCatchAllForNeutrals.agda           09-Oct-2012 13:55                 471
DoNotFireLiteralCatchAllForNeutrals.err            09-Oct-2012 13:55                 141
DontPrune.agda                                     09-May-2012 22:04                 573
DontPrune.err                                      09-May-2012 22:04                 122
DuplicateBuiltinBinding.agda                       17-Feb-2011 11:12                 116
DuplicateBuiltinBinding.err                        17-Feb-2011 11:12                 151
DuplicateConstructors.agda                         17-Feb-2011 11:12                  92
DuplicateConstructors.err                          23-Sep-2011 14:50                 143
DuplicateFields.agda                               17-Feb-2011 11:12                 133
DuplicateFields.err                                07-Nov-2013 11:24                 128
EmptyInductiveRecord.agda                          30-Jun-2012 05:57                 358
EmptyInductiveRecord.err                           30-Jun-2012 05:57                 198
ExistentialsProjections.agda                       17-Feb-2011 11:12                 630
ExistentialsProjections.err                        11-Sep-2011 06:52                 160
FakeProjectionsDoNotPreserveGuardedness.agda       30-Jun-2012 05:57                 687
FakeProjectionsDoNotPreserveGuardedness.err        30-Jun-2012 05:57                 358
FileNotFound.agda                                  17-Feb-2011 11:12                  48
FileNotFound.err                                   30-Oct-2013 20:21                 352
FixityOutOfScopeInRecord.agda                      17-Feb-2011 11:12                  77
FixityOutOfScopeInRecord.err                       17-Feb-2011 11:12                  85
FrozenMVar.agda                                    11-Apr-2011 21:32                 348
FrozenMVar.err                                     11-Apr-2011 21:32                  95
FrozenMVar2.agda                                   02-Nov-2013 23:53                 976
FrozenMVar2.err                                    11-Jun-2014 19:59                  90
HoTTCompatibleWithSizeBasedTerminationMaximeDen..> 12-Jun-2014 08:23                1494
HoTTCompatibleWithSizeBasedTerminationMaximeDen..> 12-Jun-2014 08:23                 302
IllegalUseOfIrrelevantDeclaration.agda             12-Jan-2012 13:00                 464
IllegalUseOfIrrelevantDeclaration.err              15-Jun-2013 10:50                 181
IlltypedPattern.agda                               17-Feb-2011 11:12                 127
IlltypedPattern.err                                17-Feb-2011 11:12                  88
ImplicitRecordFields.agda                          17-Feb-2011 11:12                 495
ImplicitRecordFields.err                           17-Feb-2011 11:12                 122
ImportInMutual.agda                                17-Feb-2011 11:12                 163
ImportInMutual.err                                 29-Oct-2012 20:57                  79
Impossible.agda                                    17-Feb-2011 11:12                 178
Impossible.err                                     07-Nov-2013 20:23                 118
IncompletePatternMatching.agda                     17-Feb-2011 11:12                 260
IncompletePatternMatching.err                      17-Feb-2011 11:12                 172
IndentedCheckingMessages.agda                      25-Jan-2012 14:24                  71
IndentedCheckingMessages.err                       25-Jan-2012 14:24                 327
IndentedCheckingMessages.flags                     25-Jan-2012 14:24                   4
InductiveAndCoinductiveConstructors.err            23-Sep-2011 14:50                 323
InferRecordTypes-1.agda                            05-Sep-2011 19:36                  92
InferRecordTypes-1.err                             30-Oct-2013 16:32                 117
InferRecordTypes-2.agda                            05-Sep-2011 19:36                 166
InferRecordTypes-2.err                             09-May-2012 11:03                 145
InferRecordTypes-3.agda                            05-Sep-2011 19:36                 261
InferRecordTypes-3.err                             30-Oct-2013 16:32                 160
InferRecordTypes-4.agda                            05-Sep-2011 19:36                 251
InferRecordTypes-4.err                             05-Sep-2011 19:36                 111
Inference-of-implicit-function-space.agda          09-Sep-2011 06:49                 487
Inference-of-implicit-function-space.err           09-Jan-2014 11:10                 176
InjectiveTypeConstructors.agda                     17-Feb-2011 11:12                 260
InjectiveTypeConstructors.err                      17-Feb-2011 11:12                 114
InstanceArgumentsAmbiguous.agda                    06-May-2011 15:09                 134
InstanceArgumentsAmbiguous.err                     06-May-2011 15:09                  84
InstanceArgumentsBraceSpaces.agda                  17-Jun-2011 16:55                  91
InstanceArgumentsBraceSpaces.err                   17-Jun-2011 16:55                 137
InstanceArgumentsModNotParameterised.agda          30-May-2011 14:12                 181
InstanceArgumentsModNotParameterised.err           06-Mar-2014 21:37                 177
InstanceArgumentsNotFound.agda                     06-May-2011 15:09                 109
InstanceArgumentsNotFound.err                      06-May-2011 15:09                 126
InstantiatedRecordModuleNoCopattern.agda           18-Sep-2013 10:05                 584
InstantiatedRecordModuleNoCopattern.err            18-Sep-2013 10:05                 150
Interaction-and-input-file.agda                    11-Oct-2012 11:04                  40
Interaction-and-input-file.err                     08-Jun-2014 08:17                4503
Interaction-and-input-file.err-darcs-backup0       11-Jun-2014 17:02                4503
Interaction-and-input-file.flags                   11-Oct-2012 11:04                  14
IrrelevantData.agda                                17-Mar-2011 21:18                 194
IrrelevantData.err                                 11-Sep-2011 06:52                 137
IrrelevantFamilyIndex.agda                         17-Apr-2011 07:05                 775
IrrelevantFamilyIndex.err                          17-Apr-2011 07:05                 132
IrrelevantFin.agda                                 07-Apr-2011 13:33                 356
IrrelevantFin.err                                  11-Sep-2011 06:52                 138
IrrelevantIndexNotInconsistent.agda                21-Sep-2012 13:46                 615
IrrelevantIndexNotInconsistent.err                 21-Sep-2012 13:46                 123
IrrelevantLambda.agda                              07-Apr-2011 13:33                 172
IrrelevantLambda.err                               09-May-2012 11:03                 161
IrrelevantLevelHurkens.agda                        15-Nov-2013 11:03                2013
IrrelevantLevelHurkens.err                         04-Oct-2011 19:25                 149
IrrelevantLevelToSet.agda                          02-Nov-2013 23:53                 302
IrrelevantLevelToSet.err                           04-Oct-2011 19:25                 146
IrrelevantMatchRefl.agda                           18-Nov-2012 16:10                1008
IrrelevantMatchRefl.err                            18-Nov-2012 16:10                 136
IrrelevantModuleParameter.agda                     07-Apr-2011 13:33                 130
IrrelevantModuleParameter.err                      09-May-2012 11:03                 154
IrrelevantModuleParameter1.agda                    07-Apr-2011 13:33                 142
IrrelevantModuleParameter1.err                     11-Sep-2011 06:52                 147
IrrelevantProjections.agda                         12-Jan-2012 13:00                 253
IrrelevantProjections.err                          12-Jan-2012 13:00                 161
IrrelevantRecordField.agda                         12-Jan-2012 13:00                 231
IrrelevantRecordField.err                          12-Jan-2012 13:00                 145
IrrelevantRecordMatching.agda                      17-Feb-2011 11:12                 254
IrrelevantRecordMatching.err                       11-Sep-2011 06:52                 148
IrrelevantTelescope.agda                           07-Apr-2011 13:33                 164
IrrelevantTelescope.err                            09-May-2012 11:03                 150
IrrelevantTelescopeRecord.agda                     07-Apr-2011 13:33                 170
IrrelevantTelescopeRecord.err                      09-May-2012 11:03                 156
IrrelevantVar.agda                                 17-Feb-2011 11:12                 173
IrrelevantVar.err                                  11-Sep-2011 06:52                 135
Issue1005.agda                                     21-Dec-2013 08:06                 116
Issue1005.err                                      21-Dec-2013 08:06                 140
Issue1012.agda                                     09-Jan-2014 14:05                 403
Issue1012.err                                      09-Jan-2014 14:05                  95
Issue1014.agda                                     09-Jan-2014 14:49                3046
Issue1014.err                                      22-May-2014 13:51                 851
Issue1015.agda                                     27-Mar-2014 13:56                 512
Issue1015.err                                      27-Mar-2014 13:56                 124
Issue1015OnlyRecord.agda                           27-Mar-2014 13:56                 384
Issue1015OnlyRecord.err                            27-Mar-2014 13:56                 198
Issue1015a.agda                                    27-Mar-2014 13:56                 624
Issue1015a.err                                     27-Mar-2014 13:56                 174
Issue1023.err                                      23-Mar-2014 22:54                 213
Issue1025.agda                                     25-Apr-2014 15:37                 337
Issue1025.err                                      25-Apr-2014 15:37                 180
Issue1028.err                                      19-Jan-2014 22:11                 104
Issue1035.agda                                     19-Feb-2014 13:36                 659
Issue1035.err                                      22-May-2014 13:51                 166
Issue1052.agda                                     06-Mar-2014 19:36                2468
Issue1052.err                                      06-Mar-2014 19:36                 174
Issue1075.agda                                     17-Mar-2014 08:13               15594
Issue1075.err                                      17-Mar-2014 08:13                 885
Issue1076.agda                                     06-Mar-2014 21:37                 232
Issue1076.err                                      06-Mar-2014 21:37                 155
Issue1078.agda                                     27-Mar-2014 21:58                 364
Issue1078.err                                      27-Mar-2014 21:58                 164
Issue1105.agda                                     23-Apr-2014 11:07                  44
Issue1105.err                                      23-Apr-2014 11:07                 122
Issue1117.agda                                     02-May-2014 14:28                 363
Issue1117.err                                      02-May-2014 14:28                  26
Issue1117.flags                                    02-May-2014 14:28                   7
Issue1125.agda                                     30-May-2014 20:20                 199
Issue1125.err                                      30-May-2014 20:20                  96
Issue1129.agda                                     03-Jun-2014 09:06                  92
Issue1129.err                                      03-Jun-2014 09:06                  64
Issue113.agda                                      17-Feb-2011 11:12                 218
Issue113.err                                       17-Feb-2011 11:12                  91
Issue1140.agda                                     22-May-2014 13:51                 428
Issue1140.err                                      22-May-2014 13:51                 149
Issue118Comment9.agda                              02-Nov-2013 23:53                 736
Issue118Comment9.err                               02-Nov-2013 23:53                 176
Issue121.agda                                      17-Feb-2011 11:12                 228
Issue121.err                                       17-Feb-2011 11:12                 154
Issue127.agda                                      17-Feb-2011 11:12                 372
Issue127.err                                       22-Oct-2013 20:09                 149
Issue138.err                                       17-Feb-2011 11:12                  67
Issue142.agda                                      05-Mar-2014 17:41                 462
Issue142.err                                       05-Mar-2014 17:41                 145
Issue147a.agda                                     25-Nov-2013 10:06                 161
Issue147a.err                                      25-Nov-2013 10:06                 112
Issue147b.agda                                     25-Nov-2013 10:06                 182
Issue147b.err                                      25-Nov-2013 10:06                 180
Issue154.agda                                      17-Feb-2011 11:12                 177
Issue154.err                                       09-Nov-2013 08:31                 145
Issue160.agda                                      17-Feb-2011 11:12                 288
Issue160.err                                       17-Feb-2011 11:12                  96
Issue183.agda                                      05-Jun-2012 18:17                 516
Issue183.err                                       11-Jun-2014 19:59                 124
Issue202.agda                                      02-Nov-2013 23:53                 417
Issue202.err                                       23-Sep-2011 15:32                 166
Issue203.agda                                      02-Nov-2013 23:53                 135
Issue203.err                                       02-Nov-2013 23:53                 195
Issue203b.agda                                     02-Nov-2013 23:53                 346
Issue203b.err                                      02-Nov-2013 23:53                  95
Issue205.agda                                      17-Feb-2011 11:12                 175
Issue205.err                                       17-Feb-2011 11:12                 109
Issue206.agda                                      07-Oct-2011 12:06                 352
Issue206.err                                       21-Nov-2011 07:59                 152
Issue215.agda                                      17-Feb-2011 11:12                  93
Issue215.err                                       17-Feb-2011 11:12                 181
Issue216.agda                                      02-Nov-2013 23:53                 135
Issue216.err                                       06-Feb-2014 11:28                 111
Issue217.agda                                      17-Feb-2011 11:12                  69
Issue217.err                                       22-May-2014 13:51                 116
Issue228.agda                                      02-Nov-2013 23:53                 375
Issue228.err                                       02-Nov-2013 23:53                 116
Issue249-2.agda                                    17-Feb-2011 11:12                 153
Issue249-2.err                                     29-Oct-2012 20:57                 135
Issue249.agda                                      17-Feb-2011 11:12                 151
Issue249.err                                       29-Oct-2012 20:57                 131
Issue256.agda                                      11-Jun-2014 19:59                 343
Issue256.err                                       11-Jun-2014 19:59                 117
Issue260a.agda                                     17-Feb-2011 11:12                 128
Issue260a.err                                      08-Oct-2012 21:57                 162
Issue260b.agda                                     17-Feb-2011 11:12                 130
Issue260b.err                                      08-Oct-2012 21:57                 164
Issue260c.agda                                     17-Feb-2011 11:12                 130
Issue260c.err                                      08-Oct-2012 21:57                 164
Issue260d.agda                                     17-Feb-2011 11:12                 128
Issue260d.err                                      08-Oct-2012 21:57                 173
Issue274.agda                                      17-Feb-2011 11:12                 223
Issue274.err                                       17-Feb-2011 11:12                 114
Issue278.agda                                      07-Oct-2011 13:33                 158
Issue278.err                                       18-Nov-2012 22:56                 162
Issue279-2.agda                                    23-Feb-2012 17:17                 258
Issue279-2.err                                     22-Oct-2013 20:09                 131
Issue279-3.agda                                    22-Mar-2013 12:14                 684
Issue279-3.err                                     22-Mar-2013 12:14                  94
Issue279.agda                                      23-Feb-2012 17:17                 244
Issue279.err                                       22-Oct-2013 20:09                 129
Issue280.agda                                      16-Jun-2011 20:12                 218
Issue280.err                                       16-Jun-2011 20:12                 152
Issue291a.agda                                     02-Nov-2013 23:53                 308
Issue291a.err                                      02-Nov-2013 23:53                 113
Issue291b.agda                                     02-Nov-2013 23:53                 384
Issue291b.err                                      02-Nov-2013 23:53                 128
Issue292.agda                                      30-May-2011 20:57                 817
Issue292.err                                       11-Jun-2014 19:59                 179
Issue292b.err                                      09-Sep-2011 04:48                 152
Issue292c.agda                                     09-Sep-2011 04:48                 849
Issue292c.err                                      19-Feb-2013 15:56                 113
Issue292d.agda                                     19-Sep-2011 19:24                 527
Issue292d.err                                      28-Feb-2013 12:00                 253
Issue295.agda                                      28-Feb-2013 10:53                 833
Issue295.err                                       28-Feb-2013 10:53                 147
Issue308a.agda                                     17-Feb-2011 11:12                 102
Issue308a.err                                      28-Sep-2011 20:14                 153
Issue308b.agda                                     17-Feb-2011 11:12                 104
Issue308b.err                                      28-Sep-2011 20:14                 155
Issue309a.agda                                     17-Feb-2011 11:12                 104
Issue309a.err                                      30-Jan-2014 07:56                 151
Issue309b.agda                                     17-Feb-2011 11:12                  98
Issue309b.err                                      28-Sep-2011 20:14                 146
Issue318.agda                                      08-Oct-2012 21:57                 168
Issue318.err                                       08-Oct-2012 21:57                 183
Issue329.agda                                      05-Sep-2011 07:01                  76
Issue329.err                                       05-Sep-2011 07:01                  76
Issue329b.agda                                     05-Sep-2011 07:01                  79
Issue329b.err                                      05-Sep-2011 07:01                  77
Issue329c.agda                                     05-Sep-2011 07:01                  78
Issue329c.err                                      05-Sep-2011 07:01                  77
Issue332.agda                                      08-Apr-2011 15:10                 120
Issue332.err                                       08-Apr-2011 15:10                 155
Issue334.agda                                      10-Sep-2011 15:18                 421
Issue334.err                                       10-Sep-2011 15:18                 119
Issue347.agda                                      12-Jan-2012 13:00                 783
Issue347.err                                       12-Jan-2012 13:00                  69
Issue351a.agda                                     09-Mar-2012 13:32                 371
Issue351a.err                                      09-Mar-2012 13:32                  70
Issue357.agda                                      08-Sep-2011 06:32                 197
Issue357.err                                       08-Sep-2011 06:32                 187
Issue376Fail.agda                                  30-Dec-2013 13:02                 320
Issue376Fail.err                                   30-Dec-2013 13:02                 306
Issue380.agda                                      10-May-2011 20:00                 994
Issue380.err                                       11-Jun-2014 19:59                 197
Issue381.agda                                      08-Apr-2011 13:47                 253
Issue381.err                                       08-Apr-2011 13:47                 105
Issue385.agda                                      27-Feb-2013 12:16                 365
Issue385.err                                       27-Feb-2013 12:16                 154
Issue390.agda                                      05-Oct-2012 13:12                  45
Issue390.err                                       28-Feb-2013 16:55                  26
Issue390.flags                                     05-Oct-2012 13:12                   7
Issue392.agda                                      12-Jan-2012 13:00                 613
Issue392.err                                       12-Jan-2012 13:00                 136
Issue399.agda                                      06-Mar-2014 21:37                1433
Issue399.err                                       06-Mar-2014 21:37                 219
Issue4.agda                                        21-Feb-2013 09:48                 488
Issue4.err                                         21-Feb-2013 09:48                 155
Issue402.agda                                      09-Jun-2012 23:32                 356
Issue402.err                                       09-Jun-2012 23:32                  98
Issue413.agda                                      07-Sep-2011 10:09                 237
Issue413.err                                       28-Feb-2013 12:00                 250
Issue418.agda                                      30-May-2011 18:22                 437
Issue418.err                                       30-May-2011 18:22                  94
Issue424.agda                                      04-Jul-2011 09:23                 297
Issue424.err                                       08-Nov-2013 17:02                  46
Issue427.agda                                      23-Sep-2011 15:32                 513
Issue427.err                                       09-May-2012 11:03                  93
Issue444.agda                                      09-Sep-2011 13:18                 269
Issue444.err                                       10-Sep-2011 15:18                 125
Issue452.agda                                      08-Sep-2011 15:06                 860
Issue452.err                                       15-Mar-2012 10:54                  69
Issue461.agda                                      07-Oct-2011 13:43                  62
Issue461.err                                       07-Oct-2011 13:43                 142
Issue464.agda                                      19-Sep-2011 14:35                 854
Issue464.err                                       19-Sep-2011 14:35                 162
Issue473a.agda                                     22-Mar-2013 09:25                 690
Issue473a.err                                      22-Mar-2013 09:25                  95
Issue476a.agda                                     30-Sep-2011 20:50                  72
Issue476a.err                                      18-Nov-2012 22:56                 207
Issue476b.agda                                     30-Sep-2011 20:50                  82
Issue476b.err                                      18-Nov-2012 22:56                 162
Issue476c.agda                                     30-Sep-2011 20:50                 136
Issue476c.err                                      30-Sep-2011 20:50                  91
Issue476d.agda                                     30-Sep-2011 20:50                 148
Issue476d.err                                      30-Sep-2011 20:50                  91
Issue477.agda                                      26-Sep-2011 07:26                  44
Issue477.err                                       26-Sep-2011 07:26                  49
Issue477b.agda                                     26-Sep-2011 07:26                  56
Issue477b.err                                      26-Sep-2011 07:26                  50
Issue478.agda                                      20-Oct-2012 19:40                 433
Issue478.err                                       28-Sep-2011 20:14                  99
Issue478b.agda                                     28-Sep-2011 20:14                 142
Issue478b.err                                      28-Sep-2011 20:14                  99
Issue478c.agda                                     28-Sep-2011 20:14                 258
Issue478c.err                                      28-Sep-2011 20:14                 112
Issue481.agda                                      19-Oct-2012 00:03                 208
Issue481.err                                       29-Oct-2012 20:57                 236
Issue481InstantiatedImportOnly.agda                20-Oct-2012 13:22                 123
Issue481InstantiatedImportOnly.err                 08-Nov-2013 17:02                 299
Issue481NonExistentModule.agda                     20-Oct-2012 13:22                 139
Issue481NonExistentModule.err                      30-Oct-2013 20:21                 431
Issue481a.agda                                     18-Oct-2012 14:48                 208
Issue481a.err                                      18-Oct-2012 14:48                 155
Issue483.agda                                      06-Oct-2011 16:52                 683
Issue483.err                                       06-Oct-2011 16:52                  92
Issue483a.agda                                     02-Oct-2011 18:02                 718
Issue483a.err                                      06-Oct-2011 16:52                  96
Issue483b.agda                                     06-Oct-2011 16:52                 386
Issue483b.err                                      06-Oct-2011 16:52                  96
Issue483c.agda                                     27-Mar-2012 16:37                 369
Issue483c.err                                      27-Mar-2012 16:37                  94
Issue484.agda                                      03-Oct-2011 08:29                 187
Issue484.err                                       03-Oct-2011 08:29                  95
Issue485.agda                                      03-Oct-2011 13:54                 171
Issue485.err                                       31-Oct-2013 16:28                  85
Issue493.agda                                      09-Nov-2013 08:31                  92
Issue493.err                                       09-Nov-2013 08:31                 105
Issue503.agda                                      27-Nov-2013 18:35                 832
Issue503.err                                       27-Nov-2013 18:35                 131
Issue512.agda                                      17-May-2014 16:36                 558
Issue512.err                                       17-May-2014 16:36                  69
Issue526.agda                                      05-Oct-2012 22:12                 417
Issue526.err                                       05-Oct-2012 22:12                 213
Issue530.agda                                      03-Feb-2012 15:07                 246
Issue530.err                                       20-Apr-2012 22:12                 139
Issue543.agda                                      12-Jan-2012 13:00                 788
Issue543.err                                       20-Oct-2013 18:17                 180
Issue543a.agda                                     20-Oct-2013 18:17                1046
Issue543a.err                                      20-Oct-2013 18:17                 118
Issue546.agda                                      16-Mar-2012 15:27                 236
Issue546.err                                       16-Mar-2012 15:27                  97
Issue549.agda                                      16-Mar-2012 14:06                 280
Issue549.err                                       16-Mar-2012 14:06                  84
Issue551.agda                                      11-Jan-2012 17:18                 789
Issue551.err                                       11-Jan-2012 17:18                 133
Issue551a.agda                                     11-Jan-2012 17:18                 302
Issue551a.err                                      22-Feb-2012 00:01                 119
Issue555.agda                                      13-Jan-2012 13:07                 129
Issue555.err                                       17-Jan-2012 11:10                  81
Issue555a.agda                                     17-Jan-2012 11:10                 495
Issue555a.err                                      17-Jan-2012 11:10                  82
Issue555b.agda                                     13-Jan-2012 13:07                 498
Issue555b.err                                      17-Jan-2012 11:10                  83
Issue555c.agda                                     17-Jan-2012 11:10                 107
Issue555c.err                                      17-Jan-2012 11:10                  80
Issue562.agda                                      14-Feb-2012 22:32                 261
Issue562.err                                       14-Feb-2012 22:32                  89
Issue580.agda                                      04-Apr-2012 14:19                  74
Issue580.err                                       04-Apr-2012 14:19                 107
Issue585-11.agda                                   15-Mar-2012 17:36                 637
Issue585-11.err                                    15-Mar-2012 17:36                 100
Issue585.agda                                      15-Mar-2012 17:36                1645
Issue585.err                                       15-Mar-2012 17:36                 118
Issue585t.agda                                     13-Mar-2012 16:57                 591
Issue585t.err                                      13-Mar-2012 16:57                  94
Issue586.agda                                      13-Mar-2012 15:24                  72
Issue586.err                                       12-Mar-2012 16:14                  56
Issue586.flags                                     13-Mar-2012 15:02                   7
Issue59.agda                                       13-Nov-2013 19:10                 311
Issue59.err                                        13-Nov-2013 19:10                 172
Issue610-4.agda                                    18-Apr-2012 13:05                 588
Issue610-4.err                                     18-Apr-2012 13:05                 122
Issue610.agda                                      18-Apr-2012 13:05                 523
Issue610.err                                       18-Apr-2012 13:05                 152
Issue62.agda                                       17-Feb-2011 11:12                 251
Issue62.err                                        17-Feb-2011 11:12                 109
Issue628.agda                                      27-Nov-2013 18:35                 508
Issue628.err                                       27-Nov-2013 18:35                 120
Issue631.agda                                      10-May-2012 18:57                 499
Issue631.err                                       10-May-2012 18:57                  69
Issue636.agda                                      14-May-2012 06:29                 285
Issue636.err                                       14-May-2012 06:29                 133
Issue641.agda                                      30-Oct-2013 20:21                 535
Issue641.err                                       15-Nov-2013 11:03                 940
Issue641.flags                                     30-Oct-2013 20:21                  13
Issue644.agda                                      20-Oct-2012 19:52                 466
Issue644.err                                       20-Oct-2012 19:52                 123
Issue653.agda                                      27-Feb-2013 12:05                 442
Issue653.err                                       27-Feb-2013 12:05                 209
Issue659.agda                                      02-Nov-2013 23:53                 954
Issue659.err                                       11-Jun-2014 19:59                 229
Issue676.agda                                      12-Jul-2012 09:55                 505
Issue676.err                                       12-Jul-2012 09:55                 138
Issue689.agda                                      02-Oct-2012 15:22                 284
Issue689.err                                       03-Oct-2012 13:35                 195
Issue690.agda                                      06-Sep-2012 17:28                 528
Issue690.err                                       06-Sep-2012 17:28                 158
Issue690a.agda                                     07-Sep-2012 12:58                  84
Issue690a.err                                      07-Sep-2012 12:58                 143
Issue690b.agda                                     28-May-2013 21:08                 701
Issue690b.err                                      11-Jun-2014 19:59                 119
Issue691.agda                                      08-Oct-2012 20:44                 550
Issue691.err                                       08-Oct-2012 20:44                  94
Issue705.agda                                      07-Oct-2012 21:32                  74
Issue705.err                                       29-Jan-2014 18:53                 211
Issue719.agda                                      19-Oct-2012 08:40                 311
Issue719.err                                       19-Oct-2012 14:45                 165
Issue721a.agda                                     20-Oct-2012 19:40                 378
Issue721a.err                                      20-Oct-2012 19:40                 154
Issue721b.agda                                     20-Oct-2012 19:40                 387
Issue721b.err                                      20-Oct-2012 19:40                 148
Issue721c.agda                                     20-Oct-2012 19:40                 553
Issue721c.err                                      20-Oct-2012 19:40                 108
Issue723.agda                                      18-Feb-2013 15:44                1193
Issue723.err                                       19-Feb-2013 23:18                 187
Issue735.agda                                      31-Oct-2012 16:41                 541
Issue735.err                                       31-Oct-2012 16:41                 153
Issue738.agda                                      29-Oct-2012 18:54                1463
Issue738.err                                       28-Feb-2013 12:00                 263
Issue755.agda                                      18-Nov-2012 16:10                 330
Issue755.err                                       18-Nov-2012 16:10                 113
Issue756a.agda                                     07-Nov-2013 13:39                 249
Issue756a.err                                      07-Nov-2013 13:39                 107
Issue756b.agda                                     07-Nov-2013 13:39                 259
Issue756b.err                                      07-Nov-2013 13:39                 133
Issue759a.agda                                     18-Nov-2012 21:58                 464
Issue759a.err                                      18-Nov-2012 21:58                 144
Issue759b.agda                                     18-Nov-2012 21:58                 474
Issue759b.err                                      18-Nov-2012 21:58                 144
Issue765.agda                                      22-Nov-2012 16:07                1358
Issue765.err                                       25-Apr-2014 15:37                 386
Issue782.agda                                      21-Feb-2013 09:48                 188
Issue782.err                                       21-Feb-2013 09:48                 106
Issue783a.agda                                     17-Jan-2014 08:16                  75
Issue783a.err                                      17-Jan-2014 08:16                  85
Issue783b.agda                                     17-Jan-2014 08:16                  82
Issue783b.err                                      17-Jan-2014 08:16                 140
Issue787.agda                                      18-Feb-2013 13:21                 802
Issue787.err                                       18-Feb-2013 13:21                 143
Issue796.agda                                      19-Feb-2013 23:18                 480
Issue796.err                                       19-Feb-2013 23:18                  94
Issue796o.agda                                     20-Feb-2013 23:44                 366
Issue796o.err                                      20-Feb-2013 23:44                  95
Issue799.agda                                      26-Feb-2013 03:53                 165
Issue799.err                                       26-Feb-2013 03:53                 172
Issue799a.agda                                     26-Feb-2013 03:53                 206
Issue799a.err                                      26-Feb-2013 03:53                 143
Issue801.agda                                      27-Feb-2013 10:37                 494
Issue801.err                                       27-Feb-2013 10:37                 129
Issue818.agda                                      08-Mar-2013 20:21                 685
Issue818.err                                       05-Feb-2014 10:36                 147
Issue821.agda                                      15-Mar-2013 11:27                 660
Issue821.err                                       15-Mar-2013 11:27                 104
Issue822.agda                                      21-Mar-2013 09:29                1146
Issue822.err                                       21-Mar-2013 09:29                  90
Issue829.agda                                      24-Mar-2013 13:03                 851
Issue829.err                                       24-Mar-2013 13:03                 113
Issue830.agda                                      13-Apr-2013 11:23                 178
Issue830.err                                       13-Apr-2013 11:23                 200
Issue835.agda                                      07-Nov-2013 14:16                 146
Issue835.err                                       07-Nov-2013 14:16                 102
Issue842.agda                                      03-May-2013 10:09                 500
Issue842.err                                       03-May-2013 10:09                 116
Issue847.agda                                      14-May-2013 14:52                 121
Issue847.err                                       14-May-2013 14:52                 160
Issue849.agda                                      14-May-2013 16:46                 813
Issue849.err                                       14-May-2013 16:46                 123
Issue852.agda                                      20-May-2013 14:47                 726
Issue852.err                                       11-Jun-2014 19:59                 165
Issue857b.agda                                     03-Jun-2013 19:26                1211
Issue857b.err                                      03-Jun-2013 19:26                 127
Issue865Big.agda                                   04-Jun-2013 10:00                 235
Issue865Big.err                                    25-Apr-2014 15:37                 160
Issue87.agda                                       17-Feb-2011 11:12                 280
Issue87.err                                        04-Jun-2012 11:47                 282
Issue878.agda                                      10-Jul-2013 08:31                 522
Issue878.err                                       07-Nov-2013 11:24                 247
Issue882a.agda                                     17-May-2014 16:36                1561
Issue882a.err                                      17-May-2014 16:36                  70
Issue892a.agda                                     06-Nov-2013 08:59                 185
Issue892a.err                                      06-Nov-2013 08:59                 113
Issue892b.agda                                     06-Nov-2013 08:59                 208
Issue892b.err                                      06-Nov-2013 08:59                 123
Issue920.agda                                      25-Oct-2013 22:34                 921
Issue920.err                                       25-Oct-2013 22:34                  94
Issue920a.agda                                     25-Oct-2013 22:42                1030
Issue920a.err                                      25-Oct-2013 22:42                 122
Issue921.agda                                      22-Oct-2013 20:09                3750
Issue921.err                                       22-May-2014 13:51                 354
Issue933.agda                                      03-Nov-2013 00:16                 468
Issue933.err                                       03-Nov-2013 00:16                 104
Issue949.agda                                      11-Nov-2013 23:38                 505
Issue949.err                                       12-Nov-2013 00:24                 150
Issue950.agda                                      12-Nov-2013 00:24                 433
Issue950.err                                       12-Nov-2013 00:24                 120
Issue950a.agda                                     12-Nov-2013 00:24                 434
Issue950a.err                                      12-Nov-2013 00:24                 121
Issue950b.agda                                     12-Nov-2013 00:24                 301
Issue950b.err                                      12-Nov-2013 00:24                 123
Issue952.agda                                      15-Nov-2013 10:47                 172
Issue952.err                                       03-Jun-2014 10:35                 234
Issue970.agda                                      20-Nov-2013 10:37                1121
Issue970.err                                       20-Nov-2013 10:37                 253
Issue985.agda                                      30-Nov-2013 18:41                2336
Issue985.err                                       30-Nov-2013 18:41                 322
Issue998.agda                                      16-Dec-2013 20:00                 340
Issue998.err                                       16-Dec-2013 20:00                 142
Issue998a.agda                                     16-Dec-2013 20:00                 257
Issue998a.err                                      16-Dec-2013 20:00                 145
Issue998b.agda                                     16-Dec-2013 20:00                 258
Issue998b.err                                      16-Dec-2013 20:00                 149
Issue998c.agda                                     16-Dec-2013 20:00                 210
Issue998c.err                                      16-Dec-2013 20:00                 146
Issue998d.agda                                     16-Dec-2013 20:00                 267
Issue998d.err                                      16-Dec-2013 20:00                 157
Issue998e.agda                                     16-Dec-2013 20:00                 331
Issue998e.err                                      16-Dec-2013 20:00                 210
JasonReedPruning.agda                              18-Feb-2013 15:44                 816
JasonReedPruning.err                               18-Feb-2013 15:44                 143
LetPair.agda                                       05-Jun-2012 10:56                 431
LetPair.err                                        05-Jun-2012 10:56                  85
LevelLiterals.agda                                 02-Nov-2013 23:53                 273
LevelLiterals.err                                  02-Nov-2013 23:53                 128
LevelUnification.agda                              02-Nov-2013 23:53                 355
LevelUnification.err                               02-Nov-2013 23:53                 105
LocalVsImportedModuleClash.agda                    17-Feb-2011 11:12                 109
LocalVsImportedModuleClash.err                     17-Feb-2011 11:12                 245
LostTypeError.agda                                 15-Sep-2011 05:37                 483
LostTypeError.err                                  21-Sep-2011 18:40                 101
LostTypeError2.agda                                15-Sep-2011 05:37                 524
LostTypeError2.err                                 21-Sep-2011 18:40                 102
MagicWith.agda                                     17-Feb-2011 11:12                 783
MagicWith.err                                      21-Apr-2012 16:37                 169
Makefile                                           08-Nov-2013 17:02                4819
MalformedModuleNameInIMPORT.agda                   17-Feb-2011 11:12                  59
MalformedModuleNameInIMPORT.err                    17-Feb-2011 11:12                 120
MatchOnIrrelevantData1.agda                        04-Oct-2011 09:58                 547
MatchOnIrrelevantData1.err                         12-Oct-2012 17:34                 132
MatchingOnCoinductiveRecord.agda                   30-May-2013 14:48                 466
MatchingOnCoinductiveRecord.err                    30-May-2013 14:48                 163
MetaAppUnderLambda.agda                            09-May-2011 23:48                 493
MetaAppUnderLambda.err                             15-Sep-2011 05:37                 114
MetaCannotDependOn.agda                            05-Oct-2011 13:07                 218
MetaCannotDependOn.err                             11-Jun-2014 19:59                 288
MetaOccursInItself.agda                            18-Feb-2013 15:44                 420
MetaOccursInItself.err                             18-Feb-2013 15:44                 113
MisformedTypeSignature.agda                        09-Oct-2012 09:32                  66
MisformedTypeSignature.err                         09-Oct-2012 09:32                 126
MissingDefinition.agda                             17-Feb-2011 11:12                  49
MissingDefinition.err                              17-Feb-2011 11:12                  54
MissingTypeSignature.agda                          17-Feb-2011 11:12                 129
MissingTypeSignature.err                           04-Jun-2012 10:10                 140
MissingTypeSignatureInMutual.agda                  05-Oct-2012 13:12                 148
MissingTypeSignatureInMutual.err                   05-Oct-2012 13:12                  93
MissingWithClauses.agda                            17-Feb-2011 11:12                  83
MissingWithClauses.err                             17-Feb-2011 11:12                  66
MixingCoPatternsAndCoConstructors.agda             18-Sep-2013 10:05                1864
MixingCoPatternsAndCoConstructors.err              22-May-2014 13:51                 258
ModuleArityMismatch.agda                           17-Feb-2011 11:12                 105
ModuleArityMismatch.err                            07-Mar-2012 10:58                 148
ModuleDefinedInOtherFile.agda                      17-Feb-2011 11:12                  58
ModuleDefinedInOtherFile.err                       27-Mar-2014 21:58                 158
ModuleDoesntExport.agda                            17-Feb-2011 11:12                 115
ModuleDoesntExport.err                             29-Oct-2012 20:57                 172
ModuleInMutual.agda                                17-Feb-2011 11:12                 212
ModuleInMutual.err                                 17-Feb-2011 11:12                  70
ModuleNameDoesntMatchFileName.agda                 17-Feb-2011 11:12                  35
ModuleNameDoesntMatchFileName.err                  30-Oct-2013 20:21                 381
MultipleFixityDecl.agda                            17-Feb-2011 11:12                  98
MultipleFixityDecl.err                             17-Feb-2011 11:12                 239
NaturalAndLevelDifferent.agda                      17-Feb-2011 11:12                 151
NaturalAndLevelDifferent.err                       23-Jun-2011 18:53                 136
NeedOptionCopatterns.agda                          07-Apr-2012 15:55                 229
NeedOptionCopatterns.err                           07-Apr-2012 15:55                 158
Negative1.agda                                     17-Feb-2011 11:12                  68
Negative1.err                                      17-Feb-2011 11:12                 150
Negative2.agda                                     17-Feb-2011 11:12                 158
Negative2.err                                      17-Feb-2011 11:12                 160
Negative3.agda                                     17-Feb-2011 11:12                  90
Negative3.err                                      17-Feb-2011 11:12                 163
Negative4.agda                                     17-Feb-2011 11:12                 118
Negative4.err                                      17-Feb-2011 11:12                 157
Negative5.agda                                     17-Feb-2011 11:12                 105
Negative5.err                                      17-Feb-2011 11:12                 270
NegativeIntegerLiteral.agda                        02-May-2014 14:45                 208
NegativeIntegerLiteral.err                         02-May-2014 14:45                 115
NoBindingForBuiltin.agda                           17-Feb-2011 11:12                  44
NoBindingForBuiltin.err                            18-Apr-2012 16:37                 166
NoNoTerminationCheck.agda                          08-Mar-2012 18:04                 205
NoNoTerminationCheck.err                           08-Mar-2012 18:04                 123
NoPanic.agda                                       02-Nov-2013 23:53                 455
NoPanic.err                                        02-Nov-2013 23:53                  92
NoParseForApplication.agda                         17-Feb-2011 11:12                 167
NoParseForApplication.err                          17-Feb-2011 11:12                  96
NoParseForLHS.agda                                 17-Feb-2011 11:12                 171
NoParseForLHS.err                                  17-Feb-2011 11:12                 152
NoPatternMatching.agda                             18-Jan-2014 00:17                 200
NoPatternMatching.err                              18-Jan-2014 00:17                 129
NoRHSRequiresAbsurdPattern.agda                    17-Feb-2011 11:12                 250
NoRHSRequiresAbsurdPattern.err                     17-Feb-2011 11:12                 213
NoSizedTypes.agda                                  12-Apr-2014 12:45                 486
NoSizedTypes.err                                   12-Apr-2014 12:45                  99
NoSuchBuiltinName.agda                             17-Feb-2011 11:12                  77
NoSuchBuiltinName.err                              17-Feb-2011 11:12                 113
NoSuchModule.agda                                  17-Feb-2011 11:12                  34
NoSuchModule.err                                   29-Oct-2012 20:57                  86
NoSuchPrimitiveFunction.agda                       17-Feb-2011 11:12                  82
NoSuchPrimitiveFunction.err                        17-Feb-2011 11:12                 147
NoTerminationCheck1.agda                           08-Mar-2012 18:04                 113
NoTerminationCheck1.err                            08-Mar-2012 18:04                 122
NoTerminationCheck2.agda                           08-Mar-2012 18:04                 173
NoTerminationCheck2.err                            08-Mar-2012 18:04                 122
NoTerminationCheck3.agda                           08-Mar-2012 18:04                 224
NoTerminationCheck3.err                            04-Jun-2012 10:10                 137
NoTerminationCheck4.agda                           08-Mar-2012 18:04                 231
NoTerminationCheck4.err                            08-Mar-2012 18:04                 122
NoTerminationCheckPositivity.agda                  20-Mar-2013 16:14                 530
NoTerminationCheckPositivity.err                   20-Mar-2013 16:14                 171
NonDependentConstructorType.agda                   17-Feb-2011 11:12                 241
NonDependentConstructorType.err                    17-Feb-2011 11:12                 128
NonLinearConstraint.agda                           30-Mar-2012 20:18                 240
NonLinearConstraint.err                            30-Mar-2012 20:18                 114
NonRecursiveCoinductiveRecord.agda                 23-Apr-2014 16:08                 956
NonRecursiveCoinductiveRecord.err                  23-Apr-2014 16:08                  85
NotAModuleExpr.agda                                17-Feb-2011 11:12                 165
NotAModuleExpr.err                                 08-Nov-2013 17:02                  86
NotAValidLetBinding.agda                           17-Feb-2011 11:12                 252
NotAValidLetBinding.err                            17-Feb-2011 11:12                 154
NotAnExpression.agda                               17-Feb-2011 11:12                 194
NotAnExpression.err                                17-Feb-2011 11:12                  83
NotApplyingInDontCareTriggersInternalError.agda    12-Jan-2012 13:00                1936
NotApplyingInDontCareTriggersInternalError.err     31-Jul-2012 19:47                 168
NotInScope.agda                                    17-Feb-2011 11:12                 154
NotInScope.err                                     17-Feb-2011 11:12                 114
NotLeqSort.agda                                    17-Feb-2011 11:12                  73
NotLeqSort.err                                     17-Feb-2011 11:12                 196
NotStrictlyPositive.agda                           17-Feb-2011 11:12                 221
NotStrictlyPositive.err                            17-Feb-2011 11:12                 170
NotStrictlyPositiveInMutual.agda                   23-Sep-2011 14:50                 163
NotStrictlyPositiveInMutual.err                    23-Sep-2011 14:50                 255
NotStronglyRigidOccurrence.agda                    15-Apr-2011 13:31                 520
NotStronglyRigidOccurrence.err                     15-Apr-2011 13:31                 130
NothingAppliedToHiddenArg.agda                     17-Feb-2011 11:12                  51
NothingAppliedToHiddenArg.err                      17-Feb-2011 11:12                 165
OccursCheck.agda                                   17-Feb-2011 11:12                 243
OccursCheck.err                                    17-Feb-2011 11:12                 103
OccursCheck1.agda                                  18-Feb-2013 15:44                 535
OccursCheck1.err                                   18-Feb-2013 15:44                 101
OpenInMutual.agda                                  17-Feb-2011 11:12                 175
OpenInMutual.err                                   29-Oct-2012 20:57                  75
OpenPublicPlusTypeError.agda                       17-Feb-2011 11:12                 148
OpenPublicPlusTypeError.err                        17-Feb-2011 11:12                 106
ParseError.agda                                    17-Feb-2011 11:12                  23
ParseError.err                                     13-Nov-2013 10:52                 147
ParseForallAbsurd.agda                             17-Feb-2011 11:12                 190
ParseForallAbsurd.err                              23-Sep-2011 14:50                 114
PatternMatchingOnCodata.agda                       17-Feb-2011 11:12                 703
PatternMatchingOnCodata.err                        17-Feb-2011 11:12                 169
PatternShadowsConstructor.agda                     17-Feb-2011 11:12                 171
PatternShadowsConstructor.err                      17-Feb-2011 11:12                 139
PatternShadowsConstructor2.agda                    17-Feb-2011 11:12                 208
PatternShadowsConstructor2.err                     17-Feb-2011 11:12                 143
PatternShadowsConstructor3.agda                    02-Nov-2013 18:59                 336
PatternShadowsConstructor3.err                     02-Nov-2013 18:59                 147
PatternShadowsConstructor4.agda                    02-Nov-2013 18:59                 326
PatternShadowsConstructor4.err                     02-Nov-2013 18:59                 229
PatternSynonymAmbiguousParse.agda                  09-Mar-2012 15:37                 193
PatternSynonymAmbiguousParse.err                   09-Mar-2012 15:37                 267
PatternSynonymMutualBlock.agda                     31-May-2012 10:11                  91
PatternSynonymMutualBlock.err                      31-May-2012 10:11                  88
PatternSynonymNoParse.agda                         09-Mar-2012 15:37                  54
PatternSynonymNoParse.err                          09-Mar-2012 15:37                 130
PatternSynonymOverapplied.agda                     09-Mar-2012 15:37                 149
PatternSynonymOverapplied.err                      23-Jan-2014 15:36                 159
PatternSynonymOverapplied2.agda                    09-Mar-2012 15:37                 171
PatternSynonymOverapplied2.err                     23-Jan-2014 20:01                 167
PatternSynonymOverloaded.agda                      09-Mar-2012 15:37                 141
PatternSynonymOverloaded.err                       09-Mar-2012 15:37                 183
PatternSynonymUnderapplied.agda                    09-Mar-2012 15:37                 162
PatternSynonymUnderapplied.err                     23-Jan-2014 20:01                 173
PatternSynonymsErrorLocation.agda                  09-Mar-2012 15:37                1574
PatternSynonymsErrorLocation.err                   23-Jan-2014 20:01                 127
PatternSynonymsErrorLocationRHS.agda               23-Jan-2014 21:45                1512
PatternSynonymsErrorLocationRHS.err                23-Jan-2014 21:45                 144
PositivityCheckNeedsLinearityCheck.agda            17-Feb-2011 11:12                 547
PositivityCheckNeedsLinearityCheck.err             17-Feb-2011 11:12                 120
PragmaInMutual.agda                                17-Feb-2011 11:12                 227
PragmaInMutual.err                                 17-Feb-2011 11:12                  69
PragmasApplyOnlyToCurrentModule.agda               17-Feb-2011 11:12                 116
PragmasApplyOnlyToCurrentModule.err                22-May-2014 13:51                 259
PrimitiveInMutual.agda                             17-Feb-2011 11:12                 311
PrimitiveInMutual.err                              17-Feb-2011 11:12                  88
Productivity.agda                                  02-Nov-2013 23:53                1138
Productivity.err                                   23-May-2012 18:07                 405
PropNoMore.agda                                    17-Feb-2011 11:12                  89
PropNoMore.err                                     23-Jun-2011 18:53                 106
PruneBadRigidDef.agda                              26-May-2014 15:09                 409
PruneBadRigidDef.err                               03-Jun-2014 09:06                  77
PruningNonMillerPatternFail.agda                   04-May-2012 14:27                 850
PruningNonMillerPatternFail.err                    04-May-2012 14:27                 264
PublicWithoutOpen.agda                             17-Feb-2011 11:12                  68
PublicWithoutOpen.err                              09-Nov-2013 08:31                 156
PublicWithoutOpen2.agda                            17-Feb-2011 11:12                  57
PublicWithoutOpen2.err                             29-Oct-2012 20:57                 161
PureLambda.agda                                    17-Feb-2011 11:12                 163
PureLambda.err                                     17-Feb-2011 11:12                 151
RecordConstructorOutOfScope.agda                   17-Feb-2011 11:12                 102
RecordConstructorOutOfScope.err                    17-Feb-2011 11:12                 129
RecordConstructorsInErrorMessages.agda             17-Feb-2011 11:12                 530
RecordConstructorsInErrorMessages.err              17-Feb-2011 11:12                 135
RecordUpdatePreservesType.agda                     08-Nov-2011 20:02                 226
RecordUpdatePreservesType.err                      08-Nov-2011 20:02                 109
ReifyProjectionLike.agda                           21-Apr-2012 16:37                 829
ReifyProjectionLike.err                            21-Apr-2012 16:37                 149
RepeatedVariableInPattern.agda                     17-Feb-2011 11:12                  67
RepeatedVariableInPattern.err                      17-Feb-2011 11:12                 145
Rewrite.agda                                       09-Aug-2011 12:24                 272
Rewrite.err                                        09-Aug-2011 12:24                 188
RewriteRelationNotEnoughArguments.agda             11-Jun-2014 19:59                 258
RewriteRelationNotEnoughArguments.err              11-Jun-2014 19:59                 194
RewriteRelationNotHomogeneous.agda                 11-Jun-2014 19:59                 294
RewriteRelationNotHomogeneous.err                  11-Jun-2014 19:59                 200
RewriteRelationNotSort.agda                        11-Jun-2014 19:59                 282
RewriteRelationNotSort.err                         11-Jun-2014 19:59                 186
RewriteRuleNotTargetRelation.agda                  11-Jun-2014 19:59                 218
RewriteRuleNotTargetRelation.err                   11-Jun-2014 19:59                 112
SafeFlagNoTermination.agda                         06-Oct-2011 12:31                 141
SafeFlagNoTermination.err                          06-Oct-2011 12:31                  65
SafeFlagNoTermination.flags                        06-Oct-2011 12:31                   6
SafeFlagPostulate.agda                             06-Oct-2011 12:31                  84
SafeFlagPostulate.err                              06-Oct-2011 12:31                 131
SafeFlagPostulate.flags                            06-Oct-2011 12:31                   6
SafeFlagPragmas.agda                               06-Oct-2011 12:31                 359
SafeFlagPragmas.err                                12-Apr-2014 12:45                 246
SafeFlagPragmas.flags                              06-Oct-2011 12:31                   6
SafeFlagPrimTrustMe.agda                           06-Oct-2011 12:31                 240
SafeFlagPrimTrustMe.err                            06-Oct-2011 12:31                 143
SafeFlagPrimTrustMe.flags                          06-Oct-2011 12:31                   6
ScopeIrrelevantRecordField.agda                    20-Feb-2011 17:58                 260
ScopeIrrelevantRecordField.err                     20-Feb-2011 17:58                 139
SetOmega.agda                                      02-Nov-2013 23:53                 107
SetOmega.err                                       02-Nov-2013 23:53                 162
ShadowModule.agda                                  17-Feb-2011 11:12                 107
ShadowModule.err                                   08-Oct-2012 21:57                 173
ShadowModule2.agda                                 19-Oct-2012 00:03                 355
ShadowModule2.err                                  19-Oct-2012 14:45                 214
ShapeIrrelevantIndex.agda                          20-Sep-2012 15:16                 293
ShapeIrrelevantIndex.err                           20-Sep-2012 15:16                 145
ShapeIrrelevantIndexNoBecauseOfRecursion.agda      08-Oct-2012 20:44                 647
ShapeIrrelevantIndexNoBecauseOfRecursion.err       08-Oct-2012 20:44                 127
ShapeIrrelevantParameterNoBecauseOfRecursion.agda  08-Oct-2012 20:44                 470
ShapeIrrelevantParameterNoBecauseOfRecursion.err   08-Oct-2012 20:44                 170
ShouldBeASort.agda                                 17-Feb-2011 11:12                  91
ShouldBeASort.err                                  17-Feb-2011 11:12                 147
ShouldBeApplicationOf.agda                         17-Feb-2011 11:12                 128
ShouldBeApplicationOf.err                          17-Feb-2011 11:12                 126
ShouldBeAppliedToTheDatatypeParameters.agda        23-Sep-2011 14:50                 236
ShouldBeAppliedToTheDatatypeParameters.err         23-Sep-2011 14:50                 135
ShouldBeEmpty.agda                                 17-Feb-2011 11:12                 134
ShouldBeEmpty.err                                  17-Feb-2011 11:12                 161
ShouldBePi.agda                                    17-Feb-2011 11:12                 137
ShouldBePi.err                                     11-Jun-2014 19:59                 117
ShouldEndInApplicationOfTheDatatype.agda           23-Sep-2011 14:50                 227
ShouldEndInApplicationOfTheDatatype.err            23-Sep-2011 14:50                 197
SizeUnsolvedConstraintsInTypeSignature.agda        26-Jul-2012 08:38                 654
SizeUnsolvedConstraintsInTypeSignature.err         16-Oct-2012 21:25                 148
SizedTypesFunctionFromSuccSize.agda                17-Feb-2011 11:12                 461
SizedTypesFunctionFromSuccSize.err                 10-Sep-2011 15:18                 148
SizedTypesRigidVarClash.agda                       17-Feb-2011 11:12                 402
SizedTypesRigidVarClash.err                        11-Jun-2014 19:59                 184
SizedTypesScopeExtrusion.agda                      17-Feb-2011 11:12                 541
SizedTypesScopeExtrusion.err                       16-Oct-2012 21:25                 111
SizedTypesVarSwap.agda                             10-Sep-2011 15:18                 439
SizedTypesVarSwap.err                              10-Sep-2011 15:18                 140
SkipParametersInConstructorReification.agda        20-Apr-2012 22:12                 570
SkipParametersInConstructorReification.err         18-Sep-2012 09:57                 171
SortDependingOnIndex.agda                          02-Nov-2013 23:53                 101
SortDependingOnIndex.err                           23-Sep-2011 14:50                 147
SplitOnIrrelevant.agda                             04-Oct-2011 09:58                 281
SplitOnIrrelevant.err                              04-Oct-2011 09:58                 123
StrangeRecursiveUnquote.agda                       03-May-2011 15:38                 278
StrangeRecursiveUnquote.err                        03-May-2011 15:38                 174
StronglyRigidOccurrence.agda                       18-Feb-2013 15:44                 444
StronglyRigidOccurrence.err                        18-Feb-2013 15:44                 123
Stuck.agda                                         28-Feb-2013 12:00                 152
Stuck.err                                          28-Feb-2013 12:00                 248
SubjectReduction.agda                              02-Nov-2013 23:53                 988
SubjectReduction.err                               17-Feb-2011 11:12                 208
SyntaxForOperators.agda                            17-Feb-2011 11:12                  95
SyntaxForOperators.err                             17-Feb-2011 11:12                 146
Tabs.agda                                          17-Feb-2011 11:12                  87
Tabs.err                                           18-Sep-2013 10:05                 125
TabsInPragmas.agda                                 17-Feb-2011 11:12                  59
TabsInPragmas.err                                  28-Sep-2011 20:14                 154
TelescopingLet1.agda                               14-Dec-2013 13:06                 151
TelescopingLet1.err                                14-Dec-2013 13:06                 105
TelescopingLet2.agda                               14-Dec-2013 13:06                 149
TelescopingLet2.err                                14-Dec-2013 13:06                 103
TelescopingLet3.agda                               14-Dec-2013 13:06                 410
TelescopingLet3.err                                14-Dec-2013 13:06                 180
TelescopingLet4.agda                               14-Dec-2013 13:06                 163
TelescopingLet4.err                                14-Dec-2013 13:06                 180
TelescopingLetDataRecord.agda                      14-Dec-2013 13:06                1722
TelescopingLetDataRecord.err                       14-Dec-2013 13:06                 164
TermSplicing1.agda                                 03-May-2011 15:38                  99
TermSplicing1.err                                  03-May-2011 15:38                 110
TermSplicingLooping.agda                           03-May-2011 15:38                 146
TermSplicingLooping.err                            09-Jan-2014 14:05                  85
TermSplicingOutOfScope.agda                        03-May-2011 15:38                 153
TermSplicingOutOfScope.err                         03-May-2011 15:38                 113
TerminationAndUnivalence.agda                      12-Jun-2014 17:05                 656
TerminationAndUnivalence.err                       12-Jun-2014 17:05                 148
TerminationInfiniteRecord.agda                     10-Sep-2011 15:18                 334
TerminationInfiniteRecord.err                      10-Sep-2011 15:18                 152
TerminationLambda.agda                             10-Sep-2011 15:18                 186
TerminationLambda.err                              10-Sep-2011 15:18                 132
TerminationNoArgs.agda                             10-Sep-2011 15:18                  55
TerminationNoArgs.err                              10-Sep-2011 15:18                 130
TerminationNoCoinductiveProjectionFromVariable...> 22-Nov-2013 06:33                 310
TerminationNoCoinductiveProjectionFromVariable.err 22-Nov-2013 06:33                 163
TerminationOnIrrelevant.agda                       30-Apr-2012 11:52                 473
TerminationOnIrrelevant.err                        05-Oct-2011 13:07                 121
TerminationRecordPatternCoerce.agda                17-Feb-2011 11:12                1453
TerminationRecordPatternCoerce.err                 04-May-2012 17:28                 276
TerminationRecordPatternLie.agda                   10-Sep-2011 15:18                 938
TerminationRecordPatternLie.err                    10-Sep-2011 15:18                 213
TerminationRecordPatternListAppend.agda            08-Apr-2011 14:00                1153
TerminationRecordPatternListAppend.err             07-Mar-2012 10:58                 150
TerminationWithInsufficientDepth.agda              06-Mar-2014 19:36                 844
TerminationWithInsufficientDepth.err               22-May-2014 13:51                 388
TerminationWithMerge.agda                          17-Feb-2011 11:12                 708
TerminationWithMerge.err                           23-Sep-2011 14:50                  96
TooManyArgumentsInLHS.agda                         17-Feb-2011 11:12                  63
TooManyArgumentsInLHS.err                          18-Sep-2013 10:05                 173
TooManyFields.agda                                 17-Feb-2011 11:12                 124
TooManyFields.err                                  07-Nov-2013 11:24                 142
TrustMe.agda                                       18-Nov-2012 16:10                 306
TrustMe.err                                        18-Nov-2012 16:10                 143
TwoCompilers.agda                                  17-Feb-2011 11:12                  26
TwoCompilers.err                                   08-Jun-2014 08:17                4513
TwoCompilers.flags                                 17-Feb-2011 11:12                  17
TypeConstructorsWhichPreserveGuardedness1.agda     02-Nov-2013 23:53                1398
TypeConstructorsWhichPreserveGuardedness1.err      11-Jun-2014 19:59                 148
TypeConstructorsWhichPreserveGuardedness2.agda     17-Feb-2011 11:12                 286
TypeConstructorsWhichPreserveGuardedness2.err      10-Sep-2011 15:18                 149
TypeConstructorsWhichPreserveGuardedness3.agda     17-Feb-2011 11:12                 226
TypeConstructorsWhichPreserveGuardedness3.err      10-Sep-2011 15:18                 149
TypeConstructorsWhichPreserveGuardedness4.agda     02-Nov-2013 23:53                 339
TypeConstructorsWhichPreserveGuardedness4.err      27-Feb-2013 12:05                 117
UnequalHiding.agda                                 17-Feb-2011 11:12                 140
UnequalHiding.err                                  17-Feb-2011 11:12                 279
UnequalRelevance.agda                              18-Sep-2012 09:57                 279
UnequalRelevance.err                               18-Sep-2012 09:57                 193
UnequalSorts.agda                                  17-Feb-2011 11:12                 119
UnequalSorts.err                                   17-Feb-2011 11:12                 105
UnequalTerms.agda                                  17-Feb-2011 11:12                 152
UnequalTerms.err                                   17-Feb-2011 11:12                 102
UnificationUndecidedForNonStronglyRigidOccurren..> 14-Apr-2011 21:52                 436
UnificationUndecidedForNonStronglyRigidOccurren..> 19-Feb-2013 15:56                 145
UnifyWithIrrelevantArgument.agda                   02-Oct-2011 18:02                 294
UnifyWithIrrelevantArgument.err                    09-May-2012 11:03                 294
UninstantiatedDotPattern.agda                      17-Feb-2011 11:12                  74
UninstantiatedDotPattern.err                       17-Feb-2011 11:12                 127
UnknownNameInFixityDecl.agda                       17-Feb-2011 11:12                  67
UnknownNameInFixityDecl.err                        17-Feb-2011 11:12                  88
UnquoteSetOmega.agda                               19-Feb-2013 21:50                 515
UnquoteSetOmega.err                                11-Jun-2014 19:59                 124
Unreachable.agda                                   17-Feb-2011 11:12                 409
Unreachable.err                                    17-Feb-2011 11:12                  92
UnsolvableLevelConstraintsInDataDef.agda           02-Oct-2012 15:22                 200
UnsolvableLevelConstraintsInDataDef.err            03-Oct-2012 13:35                 222
Unsolved-meta-in-module-application.agda           04-May-2012 17:28                  92
Unsolved-meta-in-module-application.err            04-May-2012 17:28                  93
Unsolved-meta-in-module-telescope.agda             04-May-2012 17:28                  55
Unsolved-meta-in-module-telescope.err              04-May-2012 17:28                  93
Unsolved-meta-in-postulate.agda                    04-May-2012 17:28                  57
Unsolved-meta-in-postulate.err                     04-May-2012 17:28                  86
UnsolvedMetas.agda                                 17-Feb-2011 11:12                  38
UnsolvedMetas.err                                  17-Feb-2011 11:12                  98
UselessAbstractAbstract.agda                       18-Nov-2012 22:56                  81
UselessAbstractAbstract.err                        18-Nov-2012 22:56                 176
UselessAbstractPrimitive.agda                      18-Nov-2012 22:56                 150
UselessAbstractPrimitive.err                       18-Nov-2012 22:56                 177
UselessPrivateImport.agda                          18-Nov-2012 16:10                  72
UselessPrivateImport.err                           18-Nov-2012 22:56                 218
UselessPrivateImport2.agda                         18-Nov-2012 16:10                  96
UselessPrivateImport2.err                          18-Nov-2012 22:56                 219
UselessPrivateImportAs.agda                        18-Nov-2012 16:10                  74
UselessPrivateImportAs.err                         18-Nov-2012 22:56                 220
UselessPrivatePragma.agda                          18-Nov-2012 16:10                  93
UselessPrivatePragma.err                           18-Nov-2012 22:56                 218
UselessPrivatePrivate.agda                         18-Nov-2012 16:10                  82
UselessPrivatePrivate.err                          18-Nov-2012 22:56                 219
WhyWeNeedUntypedLambda.agda                        07-Sep-2011 04:55                 663
WhyWeNeedUntypedLambda.err                         11-Jun-2014 19:59                 251
WithScopeError.agda                                17-Feb-2011 11:12                 196
WithScopeError.err                                 17-Feb-2011 11:12                 103
WithoutK-PatternMatchingLambdas1.agda              21-Aug-2013 15:40                 355
WithoutK-PatternMatchingLambdas1.err               25-Apr-2014 15:37                 181
WithoutK-PatternMatchingLambdas2.agda              21-Aug-2013 15:40                 374
WithoutK-PatternMatchingLambdas2.err               25-Apr-2014 15:37                 189
WithoutK-PatternSynonyms1.agda                     21-Aug-2013 15:40                 344
WithoutK-PatternSynonyms1.err                      25-Apr-2014 15:37                 174
WithoutK-PatternSynonyms2.agda                     21-Aug-2013 15:40                 367
WithoutK-PatternSynonyms2.err                      25-Apr-2014 15:37                 182
WithoutK1.agda                                     17-Feb-2011 11:12                 303
WithoutK1.err                                      25-Apr-2014 15:37                 157
WithoutK10.err-darcs-backup0                       23-Mar-2014 22:47                 264
WithoutK2.agda                                     17-Feb-2011 11:12                 311
WithoutK2.err                                      25-Apr-2014 15:37                 165
WithoutK3.agda                                     26-Jul-2012 22:20                 952
WithoutK3.err                                      25-Apr-2014 15:37                 169
WithoutK5.agda                                     30-May-2013 14:48                 353
WithoutK5.err                                      25-Apr-2014 15:37                 182
WithoutK6.agda                                     26-Jul-2012 22:20                 343
WithoutK6.err                                      25-Apr-2014 15:37                 200
WithoutK9.agda                                     04-Jun-2013 10:00                 359
WithoutK9.err                                      25-Apr-2014 15:37                 178
WrongDotPattern.agda                               17-Feb-2011 11:12                 213
WrongDotPattern.err                                17-Feb-2011 11:12                 133
WrongHidingInApplication.agda                      17-Feb-2011 11:12                 123
WrongHidingInApplication.err                       07-Mar-2012 10:58                 209
WrongHidingInLHS.agda                              17-Feb-2011 11:12                  58
WrongHidingInLHS.err                               05-Feb-2014 10:36                 119
WrongHidingInLambda.agda                           17-Feb-2011 11:12                  76
WrongHidingInLambda.err                            07-Sep-2011 04:55                 175
WrongMetaLeft.agda                                 02-Nov-2013 23:53                1114
WrongMetaLeft.err                                  30-Jun-2011 08:25                  77
WrongNamedArgument.agda                            11-Nov-2013 21:47                 277
WrongNamedArgument.err                             11-Nov-2013 21:47                 168
WrongNamedArgument2.agda                           11-Nov-2013 21:47                 232
WrongNamedArgument2.err                            11-Nov-2013 21:47                 111
WrongNumberOfConstructorArguments.agda             17-Feb-2011 11:12                 153
WrongNumberOfConstructorArguments.err              17-Feb-2011 11:12                 160
WrongPolarity.agda                                 20-Sep-2012 08:27                 799
WrongPolarity.err                                  20-Sep-2012 08:27                 129
WrongSizeAssignment.agda                           17-Feb-2011 11:12                 487
WrongSizeAssignment.err                            21-Apr-2012 16:37                 157
WrongSizeAssignment2.agda                          17-Feb-2011 11:12                 486
WrongSizeAssignment2.err                           21-Apr-2012 16:37                 154
clean.sh                                           09-Apr-2014 19:10                 285