Index of /Agda/test/succeed

[ICO]NameLast modifiedSizeDescription

[DIR]Parent Directory  -
[   ]Abstract.agda18-Nov-2012 22:56 729
[   ]AbstractData.agda17-Feb-2011 11:12 86
[   ]AbstractMutual.agda18-Nov-2012 22:56 325
[   ]AbsurdIrrelevance.agda17-Feb-2011 11:12 115
[   ]AbsurdLam.agda17-Feb-2011 11:12 443
[   ]AbsurdPattern.agda17-Feb-2011 11:12 196
[   ]AnonymousModule.agda13-Nov-2013 10:52 35
[   ]AnonymousModuleWithParameter.agda12-Jun-2014 09:23 150
[   ]Berry.agda17-Feb-2011 11:12 282
[   ]Builtin.agda27-Nov-2013 18:35 3.8K
[   ]Bush.agda27-Nov-2013 18:35 1.2K
[   ]CoPatStream.agda18-Sep-2013 11:05 2.7K
[   ]CoinductiveAfterEvaluation.agda25-Aug-2011 14:21 355
[   ]Comments.agda17-Feb-2011 11:12 492
[   ]CompareLevel.agda23-Jun-2011 19:53 516
[   ]CompilingCoinduction.agda09-Sep-2011 06:36 730
[   ]CompilingCoinduction.flags09-Sep-2011 06:36 26
[   ]ComputedLevels.agda23-Jun-2011 19:53 521
[   ]Const.agda18-Sep-2012 10:57 577
[   ]CopatternTrailingImplicit.agda24-Apr-2014 14:50 1.5K
[   ]Copatterns.agda20-Oct-2013 19:17 4.5K
[   ]CopatternsAndDotPatterns.agda19-Nov-2013 10:02 1.2K
[   ]CopatternsToRHS.agda12-Jun-2014 09:23 811
[   ]CoverStrategy.agda18-Sep-2013 11:05 1.2K
[   ]DataPolarity.agda18-Sep-2013 11:05 2.2K
[   ]DataRecordInductive.agda15-Jun-2012 11:43 1.5K
[   ]DefinitionalEquality.agda18-Sep-2012 13:35 700
[   ]DependentIrrelevance.agda09-Mar-2012 14:55 1.1K
[   ]DifferentArities.agda15-Mar-2013 12:23 311
[   ]DigitsInNames.agda17-Feb-2011 11:12 76
[   ]Div.agda17-Feb-2011 11:12 695
[   ]Div2.agda17-Feb-2011 11:12 715
[   ]DoNotEtaExpandMVarsWhenComparingAgainstRecord.agda12-Jan-2012 13:00 482
[   ]DontIgnoreIrrelevantVars.agda12-Jan-2012 13:00 1.0K
[   ]DontPruneBlocked.agda23-May-2013 15:09 1.2K
[   ]DotPatternTermination.agda17-Mar-2014 08:13 1.5K
[   ]EmptyInductiveRecord.agda30-Jun-2012 06:57 296
[   ]EmptyRenamingAndHiding.agda19-Nov-2013 10:02 112
[   ]Epic.agda27-Nov-2013 18:35 503
[   ]Epic.flags17-Feb-2011 11:12 6
[   ]EpicVaryingArity.agda03-May-2014 12:49 407
[   ]EqTest.agda22-Oct-2013 21:09 478
[   ]EtaAndMetas.agda03-Oct-2012 14:24 287
[   ]EtaContractIrrelevant.agda18-Sep-2012 13:35 786
[   ]EtaContractToMillerPattern.agda06-Apr-2011 00:51 455
[   ]EtaContractionDefBody.agda18-Sep-2012 13:35 2.7K
[   ]EtaInductiveRecord.agda08-Feb-2014 21:19 875
[   ]Exist.agda17-Feb-2011 11:12 744
[   ]ExplicitLambdaExperimentalIrrelevance.agda21-Apr-2012 17:37 290
[   ]FancyRecordModule.agda17-Feb-2011 11:12 528
[   ]Filter.agda17-Feb-2011 11:12 779
[   ]FilterSub.agda30-May-2013 15:48 1.7K
[   ]FlexRemoval.agda23-Sep-2011 15:50 885
[   ]FlexibleFunArity.agda18-Sep-2013 11:05 1.6K
[   ]FlexibleInterpreter.agda30-Nov-2013 18:41 1.6K
[   ]FlexibleInterpreter.flags15-Mar-2013 12:23 26
[   ]ForallForParameters.agda17-Feb-2011 11:12 400
[   ]FreezingTest.agda12-Apr-2011 14:08 294
[   ]FunExt.agda22-Oct-2013 21:09 764
[   ]GuardednessPreservingTypeConstructors.agda18-Sep-2013 11:05 3.0K
[   ]HereditarilySingletonRecord.agda11-Apr-2011 22:32 822
[   ]HoTTAndStructuralOrderingIncompatibleMaximeDenes.agda08-Jan-2014 17:21 1.3K
[   ]Hurkens.agda17-Feb-2011 11:12 815
[   ]ImplicitRecordFields.agda17-Feb-2011 11:12 481
[   ]ImplicitsAndWhere.agda31-Jul-2012 20:47 2.4K
[   ]ImportAnonymousModule.agda13-Nov-2013 10:52 44
[   ]IndexInference.agda18-Sep-2012 13:35 1.1K
[   ]IndexOnBuiltin.agda27-Nov-2013 18:35 295
[   ]InductiveAndCoinductiveConstructors.agda18-Sep-2012 13:35 2.4K
[   ]InferRecordTypes.agda05-Sep-2011 20:36 666
[   ]InferrableFields.agda17-Feb-2011 11:12 517
[   ]InfixRecordFields.agda17-Feb-2011 11:12 652
[   ]InjectiveTypeConstructors.agda17-Feb-2011 11:12 233
[   ]Injectivity.agda27-Nov-2013 18:35 931
[   ]InstanceArguments.agda06-May-2011 16:09 886
[   ]InstanceArgumentsBraces.agda17-Jun-2011 17:55 148
[   ]InstanceArgumentsConstraints.agda04-Apr-2012 13:06 436
[   ]InstanceArgumentsDontDiscardCandidateUponUnsolvedConstraints.agda18-Sep-2012 10:57 760
[   ]InstanceArgumentsHidden.agda22-Feb-2012 00:01 455
[   ]InstanceArgumentsSections.agda03-Apr-2012 15:20 818
[   ]InstanceGuessesMeta.agda22-Feb-2012 00:01 406
[   ]InstanceGuessesMeta2.agda22-Feb-2012 00:01 945
[   ]IrrelevanceCaseStudyPartialFunctions.agda17-Feb-2011 11:12 1.6K
[   ]IrrelevantApplication.agda17-Feb-2011 11:12 895
[   ]IrrelevantDataParameter.agda04-Oct-2011 20:25 522
[   ]IrrelevantDeclaration.agda12-Jan-2012 13:00 368
[   ]IrrelevantLambda.agda15-Mar-2013 10:40 197
[   ]IrrelevantLambdasDoNotNeedDotsAlways.agda02-Oct-2011 19:02 266
[   ]IrrelevantLet.agda02-Oct-2011 22:13 181
[   ]IrrelevantLevel.agda02-Nov-2013 23:53 968
[   ]IrrelevantProjections.agda12-Jan-2012 13:00 238
[   ]IrrelevantRecordFields.agda18-Nov-2012 16:10 741
[   ]IrrelevantWith.agda18-Apr-2012 14:05 261
[   ]Issue26.agda27-Nov-2013 18:35 328
[   ]Issue31.agda17-Feb-2011 11:12 459
[   ]Issue34.agda17-Feb-2011 11:12 332
[   ]Issue44.agda08-Oct-2012 21:44 881
[   ]Issue49.agda17-Feb-2011 11:12 131
[   ]Issue59.agda11-Nov-2013 19:02 1.6K
[   ]Issue59b.agda18-Dec-2013 10:55 448
[   ]Issue81.agda30-May-2011 21:57 268
[   ]Issue89.agda23-Sep-2011 15:50 2.3K
[   ]Issue97.lagda07-Sep-2011 14:17 46
[   ]Issue97b.lagda07-Sep-2011 14:17 109
[   ]Issue100.agda17-Feb-2011 11:12 139
[   ]Issue106.agda27-Nov-2013 18:35 653
[   ]Issue107.agda17-Feb-2011 11:12 253
[   ]Issue117.agda17-Feb-2011 11:12 90
[   ]Issue121.agda17-Feb-2011 11:12 304
[   ]Issue124.agda17-Feb-2011 11:12 193
[   ]Issue133.agda17-Feb-2011 11:12 592
[   ]Issue137.agda18-Sep-2012 13:35 578
[   ]Issue138.agda23-Sep-2011 15:50 108
[   ]Issue148.agda22-Oct-2013 21:09 526
[   ]Issue151.agda20-Oct-2013 19:17 1.0K
[   ]Issue152.agda27-Nov-2013 18:35 376
[   ]Issue153.agda25-Aug-2011 14:21 584
[   ]Issue154.agda17-Feb-2011 11:12 792
[   ]Issue155.agda17-Feb-2011 11:12 304
[   ]Issue162.agda23-Sep-2011 15:50 823
[   ]Issue165.agda17-Feb-2011 11:12 268
[   ]Issue166.agda10-Jan-2014 09:34 462
[   ]Issue168-irrelevant.agda18-Sep-2012 10:57 384
[   ]Issue168.agda18-Sep-2012 10:57 296
[   ]Issue168b.agda18-Sep-2012 10:57 233
[   ]Issue175.agda17-Feb-2011 11:12 463
[   ]Issue175b.agda07-Oct-2011 12:35 922
[   ]Issue180.agda17-Feb-2011 11:12 592
[   ]Issue199.agda18-Sep-2012 13:35 329
[   ]Issue202.agda17-Feb-2011 11:12 293
[   ]Issue203.agda02-Nov-2013 23:53 484
[   ]Issue204.agda17-Feb-2011 11:12 164
[DIR]Issue204/02-Nov-2013 23:53 -
[   ]Issue209.agda02-Nov-2013 23:53 683
[   ]Issue211.agda23-Jun-2011 19:53 1.5K
[   ]Issue213.agda07-Oct-2011 13:51 191
[   ]Issue222.agda17-Feb-2011 11:12 336
[   ]Issue224.agda17-Feb-2011 11:12 592
[   ]Issue227.agda17-Feb-2011 11:12 546
[   ]Issue229.agda23-Jun-2011 19:53 418
[   ]Issue232.agda23-Jun-2011 19:53 190
[   ]Issue233.agda17-Feb-2011 11:12 222
[   ]Issue234.agda17-Feb-2011 11:12 602
[   ]Issue237.agda09-Aug-2011 13:24 361
[   ]Issue242.agda17-Feb-2011 11:12 312
[   ]Issue245.agda18-Sep-2012 13:35 600
[   ]Issue246.agda27-Nov-2013 18:35 1.8K
[   ]Issue248.agda23-Jun-2011 19:53 412
[   ]Issue251.agda17-Feb-2011 11:12 147
[   ]Issue252.agda05-Mar-2014 17:41 454
[   ]Issue253.agda17-Feb-2011 11:12 412
[   ]Issue258.agda17-Feb-2011 11:12 113
[   ]Issue259.agda17-Feb-2011 11:12 555
[   ]Issue259b.agda17-Feb-2011 11:12 532
[   ]Issue259c.agda18-Sep-2011 09:59 297
[   ]Issue261.agda02-Sep-2011 15:43 149
[   ]Issue262.agda17-Feb-2011 11:12 99
[   ]Issue263.agda17-Feb-2011 11:12 595
[   ]Issue263b.agda17-Feb-2011 11:12 292
[   ]Issue268.agda18-Sep-2012 13:35 1.5K
[   ]Issue274.agda02-Nov-2013 23:53 398
[   ]Issue276.agda20-Oct-2013 19:17 871
[   ]Issue279.agda16-Sep-2011 14:31 142
[   ]Issue282.agda11-Sep-2011 09:08 382
[   ]Issue286.agda07-Sep-2011 07:09 1.0K
[   ]Issue291.agda14-Apr-2011 22:52 1.3K
[   ]Issue292-14.agda21-Sep-2011 19:40 617
[   ]Issue292-16.agda21-Sep-2011 19:40 620
[   ]Issue292-16b.agda21-Sep-2011 19:40 719
[   ]Issue292-17.agda23-Sep-2011 15:50 1.0K
[   ]Issue292-19.agda21-Sep-2011 19:40 633
[   ]Issue292-23.agda21-Sep-2011 19:40 420
[   ]Issue292-27.agda21-Sep-2011 19:40 566
[   ]Issue292.agda21-Sep-2011 19:40 835
[   ]Issue296.agda28-Apr-2011 14:56 284
[   ]Issue296.flags17-Feb-2011 11:12 10
[   ]Issue298.agda04-Oct-2012 22:54 613
[   ]Issue298b.agda14-Feb-2012 13:24 518
[   ]Issue300.agda24-Apr-2014 14:50 504
[   ]Issue307.agda17-Feb-2011 11:12 190
[   ]Issue311.agda07-Sep-2011 15:09 1.0K
[   ]Issue312.agda19-Sep-2011 19:46 453
[   ]Issue313.agda17-Feb-2011 11:12 167
[   ]Issue314.agda17-Jun-2011 12:45 345
[   ]Issue323.agda17-Feb-2011 11:12 308
[   ]Issue326.agda29-Oct-2012 22:30 355
[   ]Issue326.flags23-Oct-2012 23:36 26
[   ]Issue327.agda17-Feb-2011 11:12 270
[   ]Issue330.agda17-Feb-2011 11:12 303
[   ]Issue331.agda17-Feb-2011 11:12 456
[   ]Issue333.agda02-Sep-2011 19:36 496
[   ]Issue334.agda17-Feb-2011 11:12 804
[   ]Issue335.agda12-Apr-2011 14:08 141
[   ]Issue337.agda27-Nov-2013 18:35 638
[   ]Issue348.agda12-Jan-2012 13:00 377
[   ]Issue351-5.agda04-Apr-2012 13:06 367
[   ]Issue351.agda04-Apr-2012 13:06 524
[   ]Issue353.agda18-Sep-2012 13:35 518
[   ]Issue354.agda02-Nov-2013 23:53 1.2K
[   ]Issue361.agda02-Sep-2011 21:51 341
[   ]Issue365.agda22-Oct-2013 21:09 1.2K
[   ]Issue366.agda17-Feb-2011 11:12 589
[   ]Issue376-2.agda01-Jan-2014 21:54 1.2K
[   ]Issue376.agda30-Dec-2013 13:02 1.5K
[   ]Issue376Loop.agda01-Jan-2014 21:54 406
[   ]Issue383.agda10-May-2011 00:48 883
[   ]Issue383b.agda23-Sep-2011 15:50 685
[   ]Issue384.agda07-Sep-2011 07:09 327
[   ]Issue387.agda09-Jun-2012 11:57 348
[   ]Issue392.agda12-Jan-2012 13:00 916
[   ]Issue395.agda25-Aug-2011 16:16 76
[   ]Issue396.agda23-Mar-2011 14:35 287
[   ]Issue396b.agda12-Jan-2012 13:00 565
[   ]Issue400.agda30-Jan-2014 07:34 390
[   ]Issue408.agda13-Oct-2012 21:58 1.4K
[   ]Issue411.agda12-Jan-2012 13:00 244
[   ]Issue414.agda19-May-2011 18:36 276
[   ]Issue420.agda16-Oct-2012 22:39 129
[   ]Issue421.agda27-Jun-2011 21:10 804
[   ]Issue422.agda29-Aug-2011 19:31 759
[   ]Issue423.agda29-Oct-2013 15:49 2.1K
[   ]Issue425.agda07-Jul-2011 10:34 811
[   ]Issue427.agda25-Aug-2011 16:04 188
[   ]Issue435.agda05-Mar-2013 11:35 967
[   ]Issue438.agda15-Sep-2013 10:33 328
[   ]Issue439.agda23-Sep-2011 15:50 1.2K
[   ]Issue441.agda02-Sep-2011 14:16 1.2K
[   ]Issue442.agda04-May-2012 15:27 366
[   ]Issue443.agda15-Sep-2013 10:33 242
[   ]Issue447.agda02-Sep-2011 16:16 208
[   ]Issue448.agda05-Sep-2011 20:36 508
[   ]Issue450.agda08-Sep-2011 05:59 843
[   ]Issue451.agda08-Sep-2011 05:59 464
[   ]Issue455.agda21-Sep-2011 20:22 714
[   ]Issue458.agda15-Sep-2011 15:05 1.0K
[   ]Issue458b.agda21-Sep-2011 10:23 1.1K
[   ]Issue462.agda18-Sep-2011 21:50 1.0K
[   ]Issue468.agda21-Sep-2011 19:02 330
[   ]Issue469.agda22-Sep-2011 14:06 1.1K
[   ]Issue472.agda23-Sep-2011 12:17 427
[   ]Issue473.agda29-Mar-2012 10:59 1.6K
[   ]Issue474.agda24-Sep-2011 07:40 203
[   ]Issue475.agda24-Sep-2011 08:42 396
[   ]Issue479.agda15-Mar-2012 13:34 403
[   ]Issue480.agda18-Sep-2012 13:35 1.1K
[   ]Issue481.agda19-Oct-2012 01:03 1.1K
[   ]Issue481PonderBase.agda17-Oct-2012 08:04 70
[   ]Issue481PonderImportMe.agda17-Oct-2012 08:04 96
[   ]Issue481PonderMaster.agda17-Oct-2012 08:04 129
[   ]Issue481Record.agda18-Oct-2012 08:45 63
[   ]Issue482.agda03-Oct-2011 09:19 494
[   ]Issue483.agda06-Oct-2011 17:52 635
[   ]Issue483c.agda06-Oct-2011 17:52 520
[   ]Issue486.agda03-Oct-2011 18:53 187
[   ]Issue493.agda09-Nov-2013 08:31 208
[   ]Issue498.agda26-Oct-2011 10:15 1.4K
[   ]Issue498b.agda26-Oct-2011 10:15 724
[   ]Issue501.agda31-Oct-2011 08:16 1.0K
[   ]Issue502.agda02-Nov-2011 08:59 106
[   ]Issue505.agda03-Nov-2011 08:26 592
[   ]Issue509.agda18-Sep-2012 13:35 1.1K
[   ]Issue533.agda15-Mar-2012 15:15 305
[   ]Issue550.agda11-Jan-2012 14:18 358
[   ]Issue551b.agda11-Jan-2012 17:18 322
[   ]Issue552.agda03-Feb-2012 16:06 701
[   ]Issue553a.agda18-Jan-2012 11:02 315
[   ]Issue553b.agda17-Jan-2012 19:30 539
[   ]Issue553c.agda17-Jan-2012 19:30 891
[   ]Issue557.agda30-Jan-2012 21:24 521
[   ]Issue558.agda24-Jan-2012 12:17 864
[   ]Issue558b.agda24-Jan-2012 12:17 1.6K
[   ]Issue558c.agda13-Feb-2012 14:29 454
[   ]Issue561.agda29-Oct-2012 22:30 372
[   ]Issue561.flags23-Oct-2012 23:36 26
[   ]Issue566.agda13-Feb-2012 12:08 745
[   ]Issue574.agda27-Feb-2012 11:56 382
[   ]Issue578.agda06-Mar-2012 15:00 433
[   ]Issue585-17.agda15-Mar-2012 15:04 739
[   ]Issue586.agda12-Mar-2012 16:14 144
[   ]Issue586.flags12-Mar-2012 16:14 7
[   ]Issue593.agda30-Mar-2012 21:18 1.0K
[   ]Issue596.agda03-Apr-2012 15:20 1.9K
[   ]Issue597.agda24-Apr-2014 14:50 1.0K
[   ]Issue602-2.agda04-Apr-2012 13:06 271
[   ]Issue602.agda02-Nov-2013 23:53 590
[   ]Issue611.agda18-Apr-2012 22:07 293
[   ]Issue616.agda30-Apr-2012 09:39 351
[   ]Issue629.agda09-May-2012 23:04 896
[   ]Issue629a.agda09-May-2012 23:04 475
[   ]Issue655.agda17-Jan-2014 09:47 962
[   ]Issue658.agda23-May-2012 21:55 597
[   ]Issue661.agda01-Jun-2012 10:30 1.0K
[   ]Issue665.agda21-Mar-2013 18:16 421
[   ]Issue670a.agda01-Jul-2012 18:36 489
[   ]Issue670b.agda07-Nov-2013 21:38 603
[   ]Issue671.agda01-Jul-2012 19:01 404
[   ]Issue674.agda07-Jul-2012 10:23 430
[   ]Issue675.agda11-Jul-2012 14:18 209
[   ]Issue678.agda26-Jul-2012 08:37 1.1K
[   ]Issue679.agda31-Jul-2012 20:47 600
[   ]Issue680-NeutralLevels.agda30-May-2014 21:20 664
[   ]Issue700.agda19-Nov-2013 10:02 663
[   ]Issue701-c.agda27-Sep-2012 16:15 1.0K
[   ]Issue709.agda24-Apr-2014 14:50 1.8K
[   ]Issue712.agda30-May-2013 15:48 295
[   ]Issue727.agda22-May-2013 18:06 395
[   ]Issue727.flags15-Mar-2013 12:23 26
[   ]Issue728.agda29-Oct-2012 22:30 110
[   ]Issue728.flags29-Oct-2012 22:30 26
[   ]Issue729.agda22-Nov-2012 17:39 274
[   ]Issue735.agda31-Oct-2012 16:41 1.8K
[   ]Issue739.agda29-Oct-2012 20:31 1.5K
[   ]Issue747.agda06-Nov-2012 14:16 872
[   ]Issue754.agda13-Nov-2012 18:52 1.4K
[   ]Issue759.agda18-Nov-2012 21:58 357
[   ]Issue778.agda27-Feb-2013 09:33 578
[   ]Issue778M.agda04-Mar-2013 21:42 175
[   ]Issue778b.agda11-Nov-2013 11:46 634
[   ]Issue790.agda26-Oct-2013 00:17 386
[   ]Issue794.agda16-Feb-2013 13:32 144
[   ]Issue794a.agda16-Feb-2013 13:32 129
[   ]Issue795.agda19-Feb-2013 15:56 1.8K
[   ]Issue796.agda20-Feb-2013 23:44 419
[   ]Issue802.agda27-Feb-2013 15:56 503
[   ]Issue802b.agda28-Feb-2013 12:00 328
[   ]Issue804.agda28-Feb-2013 16:14 224
[   ]Issue807.agda15-Mar-2013 10:40 470
[   ]Issue807b.agda15-Mar-2013 10:46 469
[   ]Issue814.agda05-Mar-2013 11:58 1.2K
[   ]Issue822.agda21-Mar-2013 09:29 1.0K
[   ]Issue824.agda21-Mar-2013 18:16 714
[   ]Issue826-2.agda20-Mar-2013 16:14 1.0K
[   ]Issue826.agda20-Mar-2013 16:14 965
[   ]Issue827.agda22-Mar-2013 18:57 2.0K
[   ]Issue833-2.agda13-Apr-2013 12:23 157
[   ]Issue833.agda13-Apr-2013 12:23 155
[   ]Issue836.agda03-May-2013 15:03 772
[   ]Issue840a.agda15-Nov-2013 17:39 3.3K
[   ]Issue843.agda06-May-2013 16:04 1.2K
[   ]Issue848.agda17-Sep-2013 10:57 234
[   ]Issue854.agda15-Jun-2013 11:50 8.4K
[   ]Issue856.agda11-Jul-2013 20:57 731
[   ]Issue857.agda24-May-2013 23:55 1.6K
[   ]Issue860.agda23-Jan-2014 15:36 755
[   ]Issue867.agda27-Nov-2013 18:35 1.3K
[   ]Issue867.flags15-Jun-2013 15:36 10
[   ]Issue870.agda15-Jun-2013 14:09 725
[   ]Issue874.agda22-Jun-2013 18:50 726
[   ]Issue892.agda06-Nov-2013 09:36 266
[   ]Issue893.agda22-Oct-2013 21:09 422
[   ]Issue899.agda07-Nov-2013 22:19 504
[   ]Issue901.agda21-Oct-2013 21:52 911
[   ]Issue906.agda07-Nov-2013 20:23 545
[   ]Issue907.agda27-Oct-2013 13:50 610
[   ]Issue907a.agda27-Oct-2013 13:50 292
[   ]Issue918.agda14-Oct-2013 20:02 2.8K
[   ]Issue919.agda30-Nov-2013 18:41 510
[   ]Issue922.agda21-Oct-2013 21:27 386
[   ]Issue927.agda24-Apr-2014 14:50 925
[   ]Issue930.agda31-Oct-2013 16:28 1.3K
[   ]Issue937.agda05-Nov-2013 11:16 856
[   ]Issue937a.agda05-Nov-2013 11:16 605
[   ]Issue939.agda05-Nov-2013 16:15 519
[   ]Issue940.agda06-Nov-2013 13:50 478
[   ]Issue941.agda23-Jan-2014 09:36 495
[   ]Issue942.agda07-Nov-2013 20:23 517
[   ]Issue947.agda09-Nov-2013 06:19 125
[   ]Issue953.agda13-Nov-2013 10:52 44
[   ]Issue959.agda22-Nov-2013 06:33 507
[   ]Issue977.agda28-Nov-2013 22:32 284
[   ]Issue977a.agda28-Nov-2013 22:32 253
[   ]Issue981.agda27-Nov-2013 12:41 378
[   ]Issue999.agda20-Dec-2013 09:52 171
[   ]Issue1003.agda28-Dec-2013 16:27 372
[   ]Issue1009.agda28-Dec-2013 15:48 577
[   ]Issue1013.agda08-Jan-2014 10:19 171
[   ]Issue1016.agda09-Jan-2014 11:10 109
[   ]Issue1028.agda22-Jan-2014 10:48 202
[   ]Issue1031.agda24-Jan-2014 13:00 322
[   ]Issue1038.agda24-Apr-2014 14:50 430
[   ]Issue1039.agda06-Feb-2014 11:28 256
[   ]Issue1048.agda15-Feb-2014 16:15 735
[   ]Issue1055.agda27-Mar-2014 13:56 552
[   ]Issue1069.agda02-Mar-2014 19:56 892
[   ]Issue1070.agda02-Mar-2014 21:14 1.1K
[   ]Issue1071.agda03-Mar-2014 09:32 598
[   ]Issue1074.agda05-Mar-2014 14:47 412
[   ]Issue1087.agda12-Apr-2014 13:45 1.0K
[   ]Issue1094.agda06-Apr-2014 14:00 851
[   ]Issue1099.agda11-Apr-2014 20:17 1.8K
[   ]Issue1108.agda02-May-2014 13:50 23K
[   ]Issue1109.agda02-May-2014 15:40 195
[   ]Issue1110.agda17-May-2014 17:36 1.1K
[   ]Issue1110a.agda17-May-2014 17:36 116
[   ]Issue1111.agda17-May-2014 12:25 888
[   ]Issue1119.agda02-May-2014 17:35 469
[   ]Issue1124.agda08-May-2014 21:25 3.0K
[   ]Issue1136.agda20-May-2014 23:17 790
[   ]Issue1147.agda26-May-2014 16:09 1.2K
[   ]Issue1153.agda02-Jun-2014 16:07 874
[   ]Issue1184.agda10-Jun-2014 13:05 341
[   ]Issue1187.agda11-Jun-2014 19:22 1.2K
[   ]JMEq.agda17-Feb-2011 11:12 187
[   ]LaTeX.flags16-Oct-2012 18:13 7
[   ]LaTeX.lagda27-Nov-2013 18:35 1.0K
[   ]Lambda.agda17-Feb-2011 11:12 2.3K
[   ]LateExpansionOfRecordMeta.agda17-Feb-2011 11:12 512
[   ]LetLHS.agda17-Feb-2011 11:12 208
[   ]LetPair.agda05-Jun-2012 14:58 870
[   ]LevelConstraints.agda03-Oct-2011 09:19 551
[   ]LevelUnification.agda23-Jun-2011 19:53 568
[   ]LevelWithBug.agda09-Aug-2011 13:24 2.0K
[DIR]LineEndings/17-Feb-2011 11:12 -
[   ]LinearTemporalLogic.agda19-Jun-2012 16:01 2.6K
[   ]ListsWithIrrelevantProofs.agda27-Nov-2013 18:35 693
[   ]LitDistinct.agda17-Feb-2011 11:12 204
[   ]Literate.lagda17-Feb-2011 11:12 327
[   ]LocalOpenImplicit.agda17-Feb-2011 11:12 198
[   ]MagicWith.agda17-Feb-2011 11:12 763
[   ]Makefile18-Sep-2013 11:05 1.2K
[   ]MatchIrrelevant.agda04-Oct-2011 10:58 1.3K
[   ]MeasureMutual.agda11-Jun-2014 20:59 292
[   ]MixfixBinders.agda17-Feb-2011 11:12 685
[   ]ModuleInstInLet.agda17-Feb-2011 11:12 257
[   ]MultipleIdentifiersOneSignature.agda09-Oct-2012 10:32 560
[   ]NameFirstIfHidden.agda18-Sep-2012 14:12 496
[   ]NamedImplicit.agda17-Feb-2011 11:12 628
[   ]NamedWhere.agda17-Feb-2011 11:12 532
[   ]Nat.agda17-Feb-2011 11:12 74
[   ]NatEquals.agda27-Nov-2013 18:35 715
[   ]NestedInj.agda17-Feb-2011 11:12 662
[   ]NewWithoutK.agda25-Apr-2014 16:37 915
[   ]NoBlockOnLevel.agda26-May-2014 16:09 852
[   ]NoPatternMatching.agda18-Jan-2014 00:17 312
[   ]NoTerminationCheck.agda28-Feb-2013 16:14 1.1K
[   ]NoTerminationCheckPositivity.agda20-Mar-2013 16:14 445
[   ]NoUniverseCheck.agda17-Feb-2011 11:12 382
[   ]NonvariantPolarity.agda08-Oct-2012 21:44 1.8K
[   ]OpBind.agda17-Feb-2011 11:12 115
[   ]OpenModule.agda17-Feb-2011 11:12 509
[   ]OpenModuleShortHand.agda17-Feb-2011 11:12 293
[   ]OpenPublicTermination.agda17-Feb-2011 11:12 339
[   ]Operators.agda17-Feb-2011 11:12 851
[   ]Options-in-right-order.agda05-Apr-2013 23:24 261
[   ]Options-in-right-order.flags05-Apr-2013 23:24 59
[   ]OutStream.agda24-Apr-2014 14:50 605
[   ]OverloadedConInParamModule.agda17-Feb-2011 11:12 173
[   ]OverloadedConstructors.agda27-Nov-2013 18:35 342
[   ]ParameterisedAnonymousModule.agda13-Nov-2013 14:59 49
[   ]Parity.agda27-Nov-2013 18:35 766
[   ]PartialityMonad.agda08-Oct-2012 21:44 855
[   ]PartiallyAppliedConstructorInIndex.agda08-Oct-2012 21:44 276
[   ]PatternMatchingLambda.agda12-Oct-2012 17:58 2.2K
[   ]PatternSynonymImports.agda09-Mar-2012 15:37 152
[   ]PatternSynonymImports2.agda18-Sep-2013 11:05 245
[   ]PatternSynonyms.agda27-Nov-2013 18:35 7.2K
[   ]PiInSet.agda17-Feb-2011 11:12 670
[   ]Point.agda17-Feb-2011 11:12 494
[   ]PosFunction.agda17-Feb-2011 11:12 593
[   ]Positivity.agda17-Feb-2011 11:12 578
[   ]PostponedTypeChecking.agda17-Feb-2011 11:12 483
[   ]PostponedUnification.agda17-Feb-2011 11:12 783
[   ]Printf.agda17-Feb-2011 11:12 3.1K
[   ]ProjectingRecordMeta.agda08-Apr-2011 15:00 668
[   ]ProjectionLikeAndConstructorHeaded.agda02-Sep-2011 12:39 1.3K
[   ]ProjectionLikeAndMatching.agda17-Jan-2012 19:30 611
[   ]ProjectionLikeAndModules.agda20-Oct-2013 19:17 766
[   ]ProjectionLikeAndModules1.agda20-Oct-2013 19:17 677
[   ]ProjectionLikeFunctions.agda02-Sep-2011 12:39 657
[   ]ProjectionLikeRecursive.agda24-Apr-2014 14:50 1.0K
[   ]ProjectionNotNormalized.agda22-Oct-2013 21:09 5.5K
[   ]ProjectionsPreserveGuardednessTrivialExample.agda02-Nov-2013 23:53 476
[   ]ProjectionsTakeModuleTelAsParameters.agda15-Sep-2013 10:33 459
[   ]PruneLHS.agda21-Apr-2011 11:35 517
[   ]PruneRecord.agda02-Jun-2014 16:07 485
[   ]PruningNonMillerPattern.agda02-Jun-2014 16:07 3.3K
[   ]QualifiedConstructors.agda17-Feb-2011 11:12 603
[   ]QuoteTerm.agda01-May-2013 20:39 779
[   ]RawFunctor.agda23-Jun-2011 19:53 367
[   ]RecordConstructorPatternMatching.agda17-Feb-2011 11:12 293
[   ]RecordConstructors.agda17-Feb-2011 11:12 750
[   ]RecordInMutual.agda10-Jun-2012 00:32 465
[   ]RecordInParModule.agda17-Feb-2011 11:12 259
[   ]RecordPatternMatching.agda18-Sep-2013 11:05 3.2K
[   ]RecordUpdateSyntax.agda18-Nov-2011 10:19 1.0K
[   ]RecordsAndModules.agda17-Feb-2011 11:12 420
[   ]ReducingConstructorsInWith.agda17-Feb-2011 11:12 311
[   ]Reflection.agda17-Feb-2014 14:15 3.1K
[   ]ReifyConstructorParametersForWith.agda18-Sep-2012 10:57 821
[   ]RelevanceSubtyping.agda18-Sep-2012 10:57 245
[   ]Rewrite-with-doubly-indexed-equality.agda18-Nov-2012 16:10 5.7K
[   ]Rewrite.agda18-Nov-2012 16:10 5.6K
[   ]RewriteAndUniversePolymorphism.agda02-Nov-2013 23:53 204
[   ]RewriteAndWhere.agda18-Nov-2012 16:10 615
[   ]Rose.agda17-Feb-2011 11:12 970
[   ]Russell.agda15-Mar-2013 12:43 786
[   ]SafeFlagSafePragmas.agda06-Oct-2011 13:31 114
[   ]SafeFlagSafePragmas.flags06-Oct-2011 13:31 6
[   ]SameMeta.agda18-Apr-2011 10:11 533
[   ]Shadow.agda17-Feb-2011 11:12 103
[   ]ShadowedLetBoundVar.agda16-Aug-2012 18:25 288
[   ]ShapeIrrelevantIndex.agda20-Sep-2012 16:16 361
[   ]SizeSucMonotone.agda19-Nov-2013 10:02 378
[   ]SizedBTree.agda24-Apr-2014 14:50 1.8K
[   ]SizedCoinductiveRecords.agda18-Sep-2013 11:05 4.1K
[   ]SizedNatNew.agda24-Apr-2014 14:50 1.9K
[   ]SizedQuicksort.agda24-Apr-2014 14:50 873
[   ]SizedTypesExtendedLambda.agda28-Nov-2013 22:32 1.0K
[   ]SizedTypesLeqInfty.agda12-Apr-2014 13:45 431
[   ]SizedTypesMergeSort.agda24-Apr-2014 14:50 3.1K
[   ]SizedTypesMutual.agda17-Mar-2014 08:13 1.8K
[   ]SolveNeutralApplication.agda18-Sep-2012 13:35 734
[   ]SplitOnDotPattern.agda17-Feb-2011 11:12 523
[   ]Squash.agda08-Apr-2011 15:00 271
[   ]StreamProcEat.agda23-Sep-2011 15:50 2.0K
[   ]SubTermAndProjections.agda07-Jul-2011 10:34 862
[   ]Subset.agda08-Apr-2011 15:00 168
[   ]SubtermTermination.agda07-Jul-2011 10:34 1.0K
[   ]TelescopingLet.agda14-Dec-2013 13:06 1.5K
[   ]TelescopingLet5.agda14-Dec-2013 13:06 352
[   ]TermSplicing.agda30-Nov-2013 18:41 10K
[   ]TerminationArgumentSwapping.agda18-Sep-2013 11:05 1.1K
[   ]TerminationInductiveProjectionFromVariable.agda22-Nov-2013 06:33 190
[   ]TerminationListInsertionNaive.agda17-Feb-2011 11:12 1.4K
[   ]TerminationOnIrrelevantArgument.agda27-Oct-2013 13:50 1.1K
[   ]TerminationSubExpression.agda11-Nov-2013 11:46 753
[   ]TerminationWithTwoConstructors.agda17-Feb-2011 11:12 491
[   ]TestDefaultIncludePath.agda15-Nov-2013 11:03 135
[   ]TestQuote.agda30-Nov-2013 18:41 724
[   ]TopLevelImport.agda17-Feb-2011 11:12 96
[   ]TransColist.agda14-Sep-2011 13:11 1.7K
[   ]TrustMe-with-doubly-indexed-equality.agda18-Nov-2012 16:10 340
[   ]TrustMe.agda18-Nov-2012 16:10 286
[   ]TypeInTypeAndUnivPoly.agda17-Feb-2011 11:12 226
[   ]UncurryMeta.agda27-Mar-2012 01:20 654
[   ]UnderscoresAsDataParam.agda08-Apr-2011 15:00 116
[   ]UnicodeSetIndex.agda17-Feb-2011 11:12 65
[   ]UnifyWithIrrelevantArgument.agda02-Oct-2011 19:02 519
[   ]UniversePolymorphicIO.agda09-Sep-2011 06:36 1.0K
[   ]UniversePolymorphicIO.flags28-Apr-2011 17:23 26
[TXT]UniversePolymorphicIO.hs28-Apr-2011 17:23 59
[   ]UniversePolymorphism.agda31-Oct-2013 16:28 2.0K
[   ]UnusedArgsInPositivity.agda23-Sep-2011 15:50 1.5K
[   ]UnusedNamedImplicits.agda05-Mar-2013 11:35 1.0K
[   ]Using.agda17-Feb-2011 11:12 254
[   ]WErrorOverride.agda02-Oct-2012 15:41 693
[   ]WErrorOverride.flags23-Aug-2012 13:02 28
[   ]Whitespace.agda17-Feb-2011 11:12 509
[   ]WhyWeNeedTypedLambda.agda04-Sep-2012 22:17 636
[   ]WhyWeNeedUntypedLambda.agda07-Sep-2011 05:55 842
[   ]WithInParModule.agda17-Feb-2011 11:12 528
[   ]WithInWhere.agda17-Feb-2011 11:12 426
[   ]WithOfFunctionType.agda20-Oct-2013 19:17 224
[   ]WithoutK.agda27-Nov-2013 18:35 1.4K
[   ]WithoutKDisjointSum.agda30-May-2013 15:48 365
[   ]WithoutKRestrictive.agda30-May-2013 15:48 1.4K
[   ]WithoutKRestrictiveNoUniPoly.agda30-May-2013 15:48 1.7K
[   ]builtinInModule.agda17-Feb-2011 11:12 140
[   ]checkOutput09-Sep-2011 06:36 204
[   ]list.agda17-Feb-2011 11:12 209
[   ]local.agda17-Feb-2011 11:12 379
[   ]optionsPragma.agda17-Feb-2011 11:12 150
[   ]para.agda17-Feb-2011 11:12 461
[   ]qsort.agda17-Feb-2011 11:12 1.5K
[   ]simple.agda23-Sep-2011 15:50 2.8K

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