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