Index of /Agda/test/fail

[ICO]NameLast modifiedSizeDescription

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

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