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


../
Issue204/                                          15-Feb-2019 15:20                   -
LineEndings/                                       15-Feb-2019 15:19                   -
Abstract.agda                                      15-Feb-2019 15:20                 729
AbstractData.agda                                  15-Feb-2019 15:20                  86
AbstractMutual.agda                                15-Feb-2019 15:19                 325
AbsurdIrrelevance.agda                             15-Feb-2019 15:19                 115
AbsurdLam.agda                                     15-Feb-2019 15:19                 443
AbsurdPattern.agda                                 15-Feb-2019 15:20                 196
AnonymousModule.agda                               15-Feb-2019 15:20                  35
AnonymousModuleWithParameter.agda                  15-Feb-2019 15:19                 150
Berry.agda                                         15-Feb-2019 15:19                 282
Builtin.agda                                       15-Feb-2019 15:19                3940
Bush.agda                                          15-Feb-2019 15:19                1222
CoPatStream.agda                                   15-Feb-2019 15:19                2718
CoinductiveAfterEvaluation.agda                    15-Feb-2019 15:19                 355
Comments.agda                                      15-Feb-2019 15:20                 492
CompareLevel.agda                                  15-Feb-2019 15:20                 516
CompilingCoinduction.agda                          15-Feb-2019 15:20                 730
CompilingCoinduction.flags                         15-Feb-2019 15:20                  26
ComputedLevels.agda                                15-Feb-2019 15:19                 521
Const.agda                                         15-Feb-2019 15:20                 577
CopatternTrailingImplicit.agda                     15-Feb-2019 15:20                1489
Copatterns.agda                                    15-Feb-2019 15:20                4603
CopatternsAndDotPatterns.agda                      15-Feb-2019 15:20                1183
CopatternsToRHS.agda                               15-Feb-2019 15:20                 811
CoverStrategy.agda                                 15-Feb-2019 15:19                1252
DataPolarity.agda                                  15-Feb-2019 15:20                2209
DataRecordInductive.agda                           15-Feb-2019 15:20                1537
DefinitionalEquality.agda                          15-Feb-2019 15:20                 700
DependentIrrelevance.agda                          15-Feb-2019 15:19                1123
DifferentArities.agda                              15-Feb-2019 15:20                 311
DigitsInNames.agda                                 15-Feb-2019 15:20                  76
Div.agda                                           15-Feb-2019 15:19                 695
Div2.agda                                          15-Feb-2019 15:19                 715
DoNotEtaExpandMVarsWhenComparingAgainstRecord.agda 15-Feb-2019 15:19                 482
DontIgnoreIrrelevantVars.agda                      15-Feb-2019 15:20                1047
DontPruneBlocked.agda                              15-Feb-2019 15:20                1229
DotPatternTermination.agda                         15-Feb-2019 15:20                1538
EmptyInductiveRecord.agda                          15-Feb-2019 15:20                 296
EmptyRenamingAndHiding.agda                        15-Feb-2019 15:19                 112
Epic.agda                                          15-Feb-2019 15:19                 503
Epic.flags                                         15-Feb-2019 15:20                   6
EpicVaryingArity.agda                              15-Feb-2019 15:20                 407
EqTest.agda                                        15-Feb-2019 15:19                 478
EtaAndMetas.agda                                   15-Feb-2019 15:20                 287
EtaContractIrrelevant.agda                         15-Feb-2019 15:20                 786
EtaContractToMillerPattern.agda                    15-Feb-2019 15:20                 455
EtaContractionDefBody.agda                         15-Feb-2019 15:20                2764
EtaInductiveRecord.agda                            15-Feb-2019 15:19                 875
Exist.agda                                         15-Feb-2019 15:20                 744
ExplicitLambdaExperimentalIrrelevance.agda         15-Feb-2019 15:19                 290
FancyRecordModule.agda                             15-Feb-2019 15:19                 528
Filter.agda                                        15-Feb-2019 15:19                 779
FilterSub.agda                                     15-Feb-2019 15:20                1701
FlexRemoval.agda                                   15-Feb-2019 15:20                 885
FlexibleFunArity.agda                              15-Feb-2019 15:19                1659
FlexibleInterpreter.agda                           15-Feb-2019 15:19                1610
FlexibleInterpreter.flags                          15-Feb-2019 15:20                  26
ForallForParameters.agda                           15-Feb-2019 15:19                 400
FreezingTest.agda                                  15-Feb-2019 15:20                 294
FunExt.agda                                        15-Feb-2019 15:20                 764
GuardednessPreservingTypeConstructors.agda         15-Feb-2019 15:19                3120
HereditarilySingletonRecord.agda                   15-Feb-2019 15:19                 822
HoTTAndStructuralOrderingIncompatibleMaximeDene..> 15-Feb-2019 15:20                1302
Hurkens.agda                                       15-Feb-2019 15:19                 815
ImplicitRecordFields.agda                          15-Feb-2019 15:20                 481
ImplicitsAndWhere.agda                             15-Feb-2019 15:19                2432
ImportAnonymousModule.agda                         15-Feb-2019 15:19                  44
IndexInference.agda                                15-Feb-2019 15:20                1093
IndexOnBuiltin.agda                                15-Feb-2019 15:20                 295
InductiveAndCoinductiveConstructors.agda           15-Feb-2019 15:20                2472
InferRecordTypes.agda                              15-Feb-2019 15:19                 666
InferrableFields.agda                              15-Feb-2019 15:19                 517
InfixRecordFields.agda                             15-Feb-2019 15:20                 652
InjectiveTypeConstructors.agda                     15-Feb-2019 15:20                 233
Injectivity.agda                                   15-Feb-2019 15:19                 931
InstanceArguments.agda                             15-Feb-2019 15:19                 886
InstanceArgumentsBraces.agda                       15-Feb-2019 15:20                 148
InstanceArgumentsConstraints.agda                  15-Feb-2019 15:19                 436
InstanceArgumentsDontDiscardCandidateUponUnsolv..> 15-Feb-2019 15:19                 760
InstanceArgumentsHidden.agda                       15-Feb-2019 15:20                 455
InstanceArgumentsSections.agda                     15-Feb-2019 15:19                 818
InstanceGuessesMeta.agda                           15-Feb-2019 15:19                 406
InstanceGuessesMeta2.agda                          15-Feb-2019 15:19                 945
IrrelevanceCaseStudyPartialFunctions.agda          15-Feb-2019 15:20                1627
IrrelevantApplication.agda                         15-Feb-2019 15:20                 895
IrrelevantDataParameter.agda                       15-Feb-2019 15:19                 522
IrrelevantDeclaration.agda                         15-Feb-2019 15:20                 368
IrrelevantLambda.agda                              15-Feb-2019 15:20                 197
IrrelevantLambdasDoNotNeedDotsAlways.agda          15-Feb-2019 15:20                 266
IrrelevantLet.agda                                 15-Feb-2019 15:20                 181
IrrelevantLevel.agda                               15-Feb-2019 15:20                 968
IrrelevantProjections.agda                         15-Feb-2019 15:20                 238
IrrelevantRecordFields.agda                        15-Feb-2019 15:20                 741
IrrelevantWith.agda                                15-Feb-2019 15:19                 261
Issue100.agda                                      15-Feb-2019 15:20                 139
Issue1003.agda                                     15-Feb-2019 15:20                 372
Issue1009.agda                                     15-Feb-2019 15:20                 577
Issue1013.agda                                     15-Feb-2019 15:20                 171
Issue1016.agda                                     15-Feb-2019 15:19                 109
Issue1028.agda                                     15-Feb-2019 15:20                 202
Issue1031.agda                                     15-Feb-2019 15:20                 322
Issue1038.agda                                     15-Feb-2019 15:20                 430
Issue1039.agda                                     15-Feb-2019 15:20                 256
Issue1048.agda                                     15-Feb-2019 15:20                 735
Issue1055.agda                                     15-Feb-2019 15:20                 552
Issue106.agda                                      15-Feb-2019 15:20                 653
Issue1069.agda                                     15-Feb-2019 15:20                 892
Issue107.agda                                      15-Feb-2019 15:20                 253
Issue1070.agda                                     15-Feb-2019 15:19                1076
Issue1071.agda                                     15-Feb-2019 15:19                 598
Issue1074.agda                                     15-Feb-2019 15:19                 412
Issue1087.agda                                     15-Feb-2019 15:19                1067
Issue1094.agda                                     15-Feb-2019 15:19                 851
Issue1099.agda                                     15-Feb-2019 15:19                1849
Issue1108.agda                                     15-Feb-2019 15:20               23220
Issue1109.agda                                     15-Feb-2019 15:20                 195
Issue1110.agda                                     15-Feb-2019 15:20                1165
Issue1110a.agda                                    15-Feb-2019 15:20                 116
Issue1111.agda                                     15-Feb-2019 15:20                 888
Issue1119.agda                                     15-Feb-2019 15:19                 469
Issue1124.agda                                     15-Feb-2019 15:20                3029
Issue1136.agda                                     15-Feb-2019 15:20                 790
Issue1147.agda                                     15-Feb-2019 15:19                1265
Issue1153.agda                                     15-Feb-2019 15:19                 874
Issue117.agda                                      15-Feb-2019 15:20                  90
Issue1184.agda                                     15-Feb-2019 15:20                 341
Issue1187.agda                                     15-Feb-2019 15:19                1233
Issue121.agda                                      15-Feb-2019 15:19                 304
Issue124.agda                                      15-Feb-2019 15:20                 193
Issue133.agda                                      15-Feb-2019 15:19                 592
Issue137.agda                                      15-Feb-2019 15:20                 578
Issue138.agda                                      15-Feb-2019 15:20                 108
Issue148.agda                                      15-Feb-2019 15:19                 526
Issue151.agda                                      15-Feb-2019 15:19                1021
Issue152.agda                                      15-Feb-2019 15:19                 376
Issue153.agda                                      15-Feb-2019 15:19                 584
Issue154.agda                                      15-Feb-2019 15:19                 792
Issue155.agda                                      15-Feb-2019 15:20                 304
Issue162.agda                                      15-Feb-2019 15:20                 823
Issue165.agda                                      15-Feb-2019 15:19                 268
Issue166.agda                                      15-Feb-2019 15:20                 462
Issue168-irrelevant.agda                           15-Feb-2019 15:20                 384
Issue168.agda                                      15-Feb-2019 15:20                 296
Issue168b.agda                                     15-Feb-2019 15:19                 233
Issue175.agda                                      15-Feb-2019 15:19                 463
Issue175b.agda                                     15-Feb-2019 15:20                 922
Issue180.agda                                      15-Feb-2019 15:20                 592
Issue199.agda                                      15-Feb-2019 15:20                 329
Issue202.agda                                      15-Feb-2019 15:20                 293
Issue203.agda                                      15-Feb-2019 15:20                 484
Issue204.agda                                      15-Feb-2019 15:20                 164
Issue209.agda                                      15-Feb-2019 15:19                 683
Issue211.agda                                      15-Feb-2019 15:20                1507
Issue213.agda                                      15-Feb-2019 15:19                 191
Issue222.agda                                      15-Feb-2019 15:20                 336
Issue224.agda                                      15-Feb-2019 15:19                 592
Issue227.agda                                      15-Feb-2019 15:20                 546
Issue229.agda                                      15-Feb-2019 15:19                 418
Issue232.agda                                      15-Feb-2019 15:20                 190
Issue233.agda                                      15-Feb-2019 15:19                 222
Issue234.agda                                      15-Feb-2019 15:19                 602
Issue237.agda                                      15-Feb-2019 15:19                 361
Issue242.agda                                      15-Feb-2019 15:19                 312
Issue245.agda                                      15-Feb-2019 15:19                 600
Issue246.agda                                      15-Feb-2019 15:20                1866
Issue248.agda                                      15-Feb-2019 15:19                 412
Issue251.agda                                      15-Feb-2019 15:20                 147
Issue252.agda                                      15-Feb-2019 15:19                 454
Issue253.agda                                      15-Feb-2019 15:19                 412
Issue258.agda                                      15-Feb-2019 15:20                 113
Issue259.agda                                      15-Feb-2019 15:20                 555
Issue259b.agda                                     15-Feb-2019 15:20                 532
Issue259c.agda                                     15-Feb-2019 15:20                 297
Issue26.agda                                       15-Feb-2019 15:20                 328
Issue261.agda                                      15-Feb-2019 15:20                 149
Issue262.agda                                      15-Feb-2019 15:19                  99
Issue263.agda                                      15-Feb-2019 15:20                 595
Issue263b.agda                                     15-Feb-2019 15:20                 292
Issue268.agda                                      15-Feb-2019 15:20                1554
Issue274.agda                                      15-Feb-2019 15:19                 398
Issue276.agda                                      15-Feb-2019 15:20                 871
Issue279.agda                                      15-Feb-2019 15:20                 142
Issue282.agda                                      15-Feb-2019 15:19                 382
Issue286.agda                                      15-Feb-2019 15:19                1047
Issue291.agda                                      15-Feb-2019 15:19                1293
Issue292-14.agda                                   15-Feb-2019 15:19                 617
Issue292-16.agda                                   15-Feb-2019 15:19                 620
Issue292-16b.agda                                  15-Feb-2019 15:20                 719
Issue292-17.agda                                   15-Feb-2019 15:20                1058
Issue292-19.agda                                   15-Feb-2019 15:19                 633
Issue292-23.agda                                   15-Feb-2019 15:19                 420
Issue292-27.agda                                   15-Feb-2019 15:20                 566
Issue292.agda                                      15-Feb-2019 15:19                 835
Issue296.agda                                      15-Feb-2019 15:20                 284
Issue296.flags                                     15-Feb-2019 15:20                  10
Issue298.agda                                      15-Feb-2019 15:20                 613
Issue298b.agda                                     15-Feb-2019 15:20                 518
Issue300.agda                                      15-Feb-2019 15:19                 504
Issue307.agda                                      15-Feb-2019 15:19                 190
Issue31.agda                                       15-Feb-2019 15:20                 459
Issue311.agda                                      15-Feb-2019 15:19                 988
Issue312.agda                                      15-Feb-2019 15:20                 453
Issue313.agda                                      15-Feb-2019 15:20                 167
Issue314.agda                                      15-Feb-2019 15:20                 345
Issue323.agda                                      15-Feb-2019 15:20                 308
Issue326.agda                                      15-Feb-2019 15:19                 355
Issue326.flags                                     15-Feb-2019 15:19                  26
Issue327.agda                                      15-Feb-2019 15:19                 270
Issue330.agda                                      15-Feb-2019 15:19                 303
Issue331.agda                                      15-Feb-2019 15:19                 456
Issue333.agda                                      15-Feb-2019 15:20                 496
Issue334.agda                                      15-Feb-2019 15:20                 804
Issue335.agda                                      15-Feb-2019 15:19                 141
Issue337.agda                                      15-Feb-2019 15:20                 638
Issue34.agda                                       15-Feb-2019 15:19                 332
Issue348.agda                                      15-Feb-2019 15:20                 377
Issue351-5.agda                                    15-Feb-2019 15:20                 367
Issue351.agda                                      15-Feb-2019 15:20                 524
Issue353.agda                                      15-Feb-2019 15:19                 518
Issue354.agda                                      15-Feb-2019 15:20                1221
Issue361.agda                                      15-Feb-2019 15:20                 341
Issue365.agda                                      15-Feb-2019 15:19                1254
Issue366.agda                                      15-Feb-2019 15:20                 589
Issue376-2.agda                                    15-Feb-2019 15:19                1186
Issue376.agda                                      15-Feb-2019 15:20                1543
Issue376Loop.agda                                  15-Feb-2019 15:20                 406
Issue383.agda                                      15-Feb-2019 15:20                 883
Issue383b.agda                                     15-Feb-2019 15:20                 685
Issue384.agda                                      15-Feb-2019 15:20                 327
Issue387.agda                                      15-Feb-2019 15:20                 348
Issue392.agda                                      15-Feb-2019 15:20                 916
Issue395.agda                                      15-Feb-2019 15:19                  76
Issue396.agda                                      15-Feb-2019 15:19                 287
Issue396b.agda                                     15-Feb-2019 15:20                 565
Issue400.agda                                      15-Feb-2019 15:19                 390
Issue408.agda                                      15-Feb-2019 15:19                1468
Issue411.agda                                      15-Feb-2019 15:19                 244
Issue414.agda                                      15-Feb-2019 15:20                 276
Issue420.agda                                      15-Feb-2019 15:19                 129
Issue421.agda                                      15-Feb-2019 15:20                 804
Issue422.agda                                      15-Feb-2019 15:20                 759
Issue423.agda                                      15-Feb-2019 15:19                2159
Issue425.agda                                      15-Feb-2019 15:19                 811
Issue427.agda                                      15-Feb-2019 15:19                 188
Issue435.agda                                      15-Feb-2019 15:19                 967
Issue438.agda                                      15-Feb-2019 15:19                 328
Issue439.agda                                      15-Feb-2019 15:20                1247
Issue44.agda                                       15-Feb-2019 15:19                 881
Issue441.agda                                      15-Feb-2019 15:20                1223
Issue442.agda                                      15-Feb-2019 15:20                 366
Issue443.agda                                      15-Feb-2019 15:20                 242
Issue447.agda                                      15-Feb-2019 15:20                 208
Issue448.agda                                      15-Feb-2019 15:19                 508
Issue450.agda                                      15-Feb-2019 15:20                 843
Issue451.agda                                      15-Feb-2019 15:20                 464
Issue455.agda                                      15-Feb-2019 15:19                 714
Issue458.agda                                      15-Feb-2019 15:20                1010
Issue458b.agda                                     15-Feb-2019 15:19                1100
Issue462.agda                                      15-Feb-2019 15:20                 986
Issue468.agda                                      15-Feb-2019 15:20                 330
Issue469.agda                                      15-Feb-2019 15:20                1112
Issue472.agda                                      15-Feb-2019 15:20                 427
Issue473.agda                                      15-Feb-2019 15:20                1657
Issue474.agda                                      15-Feb-2019 15:19                 203
Issue475.agda                                      15-Feb-2019 15:20                 396
Issue479.agda                                      15-Feb-2019 15:20                 403
Issue480.agda                                      15-Feb-2019 15:20                1163
Issue481.agda                                      15-Feb-2019 15:20                1111
Issue481PonderBase.agda                            15-Feb-2019 15:19                  70
Issue481PonderImportMe.agda                        15-Feb-2019 15:19                  96
Issue481PonderMaster.agda                          15-Feb-2019 15:19                 129
Issue481Record.agda                                15-Feb-2019 15:19                  63
Issue482.agda                                      15-Feb-2019 15:20                 494
Issue483.agda                                      15-Feb-2019 15:19                 635
Issue483c.agda                                     15-Feb-2019 15:20                 520
Issue486.agda                                      15-Feb-2019 15:19                 187
Issue49.agda                                       15-Feb-2019 15:19                 131
Issue493.agda                                      15-Feb-2019 15:20                 208
Issue498.agda                                      15-Feb-2019 15:20                1424
Issue498b.agda                                     15-Feb-2019 15:20                 724
Issue501.agda                                      15-Feb-2019 15:20                 989
Issue502.agda                                      15-Feb-2019 15:20                 106
Issue505.agda                                      15-Feb-2019 15:19                 592
Issue509.agda                                      15-Feb-2019 15:20                1174
Issue533.agda                                      15-Feb-2019 15:20                 305
Issue550.agda                                      15-Feb-2019 15:20                 358
Issue551b.agda                                     15-Feb-2019 15:20                 322
Issue552.agda                                      15-Feb-2019 15:20                 701
Issue553a.agda                                     15-Feb-2019 15:20                 315
Issue553b.agda                                     15-Feb-2019 15:20                 539
Issue553c.agda                                     15-Feb-2019 15:20                 891
Issue557.agda                                      15-Feb-2019 15:20                 521
Issue558.agda                                      15-Feb-2019 15:19                 864
Issue558b.agda                                     15-Feb-2019 15:19                1606
Issue558c.agda                                     15-Feb-2019 15:19                 454
Issue561.agda                                      15-Feb-2019 15:20                 372
Issue561.flags                                     15-Feb-2019 15:19                  26
Issue566.agda                                      15-Feb-2019 15:19                 745
Issue574.agda                                      15-Feb-2019 15:20                 382
Issue578.agda                                      15-Feb-2019 15:20                 433
Issue585-17.agda                                   15-Feb-2019 15:19                 739
Issue586.agda                                      15-Feb-2019 15:19                 144
Issue586.flags                                     15-Feb-2019 15:19                   7
Issue59.agda                                       15-Feb-2019 15:20                1602
Issue593.agda                                      15-Feb-2019 15:20                 998
Issue596.agda                                      15-Feb-2019 15:20                1984
Issue597.agda                                      15-Feb-2019 15:20                1037
Issue59b.agda                                      15-Feb-2019 15:20                 448
Issue602-2.agda                                    15-Feb-2019 15:20                 271
Issue602.agda                                      15-Feb-2019 15:19                 590
Issue611.agda                                      15-Feb-2019 15:19                 293
Issue616.agda                                      15-Feb-2019 15:20                 351
Issue629.agda                                      15-Feb-2019 15:19                 896
Issue629a.agda                                     15-Feb-2019 15:20                 475
Issue655.agda                                      15-Feb-2019 15:20                 962
Issue658.agda                                      15-Feb-2019 15:19                 597
Issue661.agda                                      15-Feb-2019 15:19                1040
Issue665.agda                                      15-Feb-2019 15:20                 421
Issue670a.agda                                     15-Feb-2019 15:19                 489
Issue670b.agda                                     15-Feb-2019 15:20                 603
Issue671.agda                                      15-Feb-2019 15:20                 404
Issue674.agda                                      15-Feb-2019 15:19                 430
Issue675.agda                                      15-Feb-2019 15:19                 209
Issue678.agda                                      15-Feb-2019 15:20                1147
Issue679.agda                                      15-Feb-2019 15:19                 600
Issue680-NeutralLevels.agda                        15-Feb-2019 15:20                 664
Issue700.agda                                      15-Feb-2019 15:20                 663
Issue701-c.agda                                    15-Feb-2019 15:20                 998
Issue709.agda                                      15-Feb-2019 15:20                1835
Issue712.agda                                      15-Feb-2019 15:19                 295
Issue727.agda                                      15-Feb-2019 15:19                 395
Issue727.flags                                     15-Feb-2019 15:20                  26
Issue728.agda                                      15-Feb-2019 15:20                 110
Issue728.flags                                     15-Feb-2019 15:19                  26
Issue729.agda                                      15-Feb-2019 15:20                 274
Issue735.agda                                      15-Feb-2019 15:20                1823
Issue739.agda                                      15-Feb-2019 15:20                1574
Issue747.agda                                      15-Feb-2019 15:19                 872
Issue754.agda                                      15-Feb-2019 15:20                1440
Issue759.agda                                      15-Feb-2019 15:19                 357
Issue778.agda                                      15-Feb-2019 15:20                 578
Issue778M.agda                                     15-Feb-2019 15:20                 175
Issue778b.agda                                     15-Feb-2019 15:20                 634
Issue790.agda                                      15-Feb-2019 15:19                 386
Issue794.agda                                      15-Feb-2019 15:20                 144
Issue794a.agda                                     15-Feb-2019 15:20                 129
Issue795.agda                                      15-Feb-2019 15:19                1875
Issue796.agda                                      15-Feb-2019 15:20                 419
Issue802.agda                                      15-Feb-2019 15:20                 503
Issue802b.agda                                     15-Feb-2019 15:20                 328
Issue804.agda                                      15-Feb-2019 15:20                 224
Issue807.agda                                      15-Feb-2019 15:20                 470
Issue807b.agda                                     15-Feb-2019 15:19                 469
Issue81.agda                                       15-Feb-2019 15:19                 268
Issue814.agda                                      15-Feb-2019 15:19                1187
Issue822.agda                                      15-Feb-2019 15:19                1025
Issue824.agda                                      15-Feb-2019 15:20                 714
Issue826-2.agda                                    15-Feb-2019 15:20                1036
Issue826.agda                                      15-Feb-2019 15:20                 965
Issue827.agda                                      15-Feb-2019 15:19                2063
Issue833-2.agda                                    15-Feb-2019 15:19                 157
Issue833.agda                                      15-Feb-2019 15:19                 155
Issue836.agda                                      15-Feb-2019 15:20                 772
Issue840a.agda                                     15-Feb-2019 15:19                3333
Issue843.agda                                      15-Feb-2019 15:20                1272
Issue848.agda                                      15-Feb-2019 15:20                 234
Issue854.agda                                      15-Feb-2019 15:19                8609
Issue856.agda                                      15-Feb-2019 15:20                 731
Issue857.agda                                      15-Feb-2019 15:20                1589
Issue860.agda                                      15-Feb-2019 15:20                 755
Issue867.agda                                      15-Feb-2019 15:19                1328
Issue867.flags                                     15-Feb-2019 15:20                  10
Issue870.agda                                      15-Feb-2019 15:20                 725
Issue874.agda                                      15-Feb-2019 15:19                 726
Issue89.agda                                       15-Feb-2019 15:19                2346
Issue892.agda                                      15-Feb-2019 15:20                 266
Issue893.agda                                      15-Feb-2019 15:20                 422
Issue899.agda                                      15-Feb-2019 15:20                 504
Issue901.agda                                      15-Feb-2019 15:20                 911
Issue906.agda                                      15-Feb-2019 15:20                 545
Issue907.agda                                      15-Feb-2019 15:19                 610
Issue907a.agda                                     15-Feb-2019 15:20                 292
Issue918.agda                                      15-Feb-2019 15:20                2830
Issue919.agda                                      15-Feb-2019 15:20                 510
Issue922.agda                                      15-Feb-2019 15:19                 386
Issue927.agda                                      15-Feb-2019 15:19                 925
Issue930.agda                                      15-Feb-2019 15:19                1323
Issue937.agda                                      15-Feb-2019 15:19                 856
Issue937a.agda                                     15-Feb-2019 15:20                 605
Issue939.agda                                      15-Feb-2019 15:20                 519
Issue940.agda                                      15-Feb-2019 15:19                 478
Issue941.agda                                      15-Feb-2019 15:20                 495
Issue942.agda                                      15-Feb-2019 15:20                 517
Issue947.agda                                      15-Feb-2019 15:20                 125
Issue953.agda                                      15-Feb-2019 15:20                  44
Issue959.agda                                      15-Feb-2019 15:20                 507
Issue97.lagda                                      15-Feb-2019 15:20                  46
Issue977.agda                                      15-Feb-2019 15:19                 284
Issue977a.agda                                     15-Feb-2019 15:19                 253
Issue97b.lagda                                     15-Feb-2019 15:19                 109
Issue981.agda                                      15-Feb-2019 15:20                 378
Issue999.agda                                      15-Feb-2019 15:20                 171
JMEq.agda                                          15-Feb-2019 15:19                 187
LaTeX.flags                                        15-Feb-2019 15:19                   7
LaTeX.lagda                                        15-Feb-2019 15:19                1055
Lambda.agda                                        15-Feb-2019 15:20                2380
LateExpansionOfRecordMeta.agda                     15-Feb-2019 15:19                 512
LetLHS.agda                                        15-Feb-2019 15:20                 208
LetPair.agda                                       15-Feb-2019 15:19                 870
LevelConstraints.agda                              15-Feb-2019 15:20                 551
LevelUnification.agda                              15-Feb-2019 15:19                 568
LevelWithBug.agda                                  15-Feb-2019 15:20                2053
LinearTemporalLogic.agda                           15-Feb-2019 15:19                2658
ListsWithIrrelevantProofs.agda                     15-Feb-2019 15:20                 693
LitDistinct.agda                                   15-Feb-2019 15:20                 204
Literate.lagda                                     15-Feb-2019 15:20                 327
LocalOpenImplicit.agda                             15-Feb-2019 15:20                 198
MagicWith.agda                                     15-Feb-2019 15:20                 763
Makefile                                           15-Feb-2019 15:19                1184
MatchIrrelevant.agda                               15-Feb-2019 15:20                1337
MeasureMutual.agda                                 15-Feb-2019 15:19                 292
MixfixBinders.agda                                 15-Feb-2019 15:19                 685
ModuleInstInLet.agda                               15-Feb-2019 15:20                 257
MultipleIdentifiersOneSignature.agda               15-Feb-2019 15:19                 560
NameFirstIfHidden.agda                             15-Feb-2019 15:20                 496
NamedImplicit.agda                                 15-Feb-2019 15:19                 628
NamedWhere.agda                                    15-Feb-2019 15:20                 532
Nat.agda                                           15-Feb-2019 15:19                  74
NatEquals.agda                                     15-Feb-2019 15:20                 715
NestedInj.agda                                     15-Feb-2019 15:20                 662
NewWithoutK.agda                                   15-Feb-2019 15:19                 915
NoBlockOnLevel.agda                                15-Feb-2019 15:20                 852
NoPatternMatching.agda                             15-Feb-2019 15:20                 312
NoTerminationCheck.agda                            15-Feb-2019 15:19                1097
NoTerminationCheckPositivity.agda                  15-Feb-2019 15:20                 445
NoUniverseCheck.agda                               15-Feb-2019 15:19                 382
NonvariantPolarity.agda                            15-Feb-2019 15:20                1810
OpBind.agda                                        15-Feb-2019 15:20                 115
OpenModule.agda                                    15-Feb-2019 15:19                 509
OpenModuleShortHand.agda                           15-Feb-2019 15:19                 293
OpenPublicTermination.agda                         15-Feb-2019 15:20                 339
Operators.agda                                     15-Feb-2019 15:20                 851
Options-in-right-order.agda                        15-Feb-2019 15:19                 261
Options-in-right-order.flags                       15-Feb-2019 15:20                  59
OutStream.agda                                     15-Feb-2019 15:20                 605
OverloadedConInParamModule.agda                    15-Feb-2019 15:19                 173
OverloadedConstructors.agda                        15-Feb-2019 15:20                 342
ParameterisedAnonymousModule.agda                  15-Feb-2019 15:20                  49
Parity.agda                                        15-Feb-2019 15:19                 766
PartialityMonad.agda                               15-Feb-2019 15:20                 855
PartiallyAppliedConstructorInIndex.agda            15-Feb-2019 15:20                 276
PatternMatchingLambda.agda                         15-Feb-2019 15:20                2274
PatternSynonymImports.agda                         15-Feb-2019 15:20                 152
PatternSynonymImports2.agda                        15-Feb-2019 15:19                 245
PatternSynonyms.agda                               15-Feb-2019 15:20                7404
PiInSet.agda                                       15-Feb-2019 15:20                 670
Point.agda                                         15-Feb-2019 15:20                 494
PosFunction.agda                                   15-Feb-2019 15:19                 593
Positivity.agda                                    15-Feb-2019 15:20                 578
PostponedTypeChecking.agda                         15-Feb-2019 15:19                 483
PostponedUnification.agda                          15-Feb-2019 15:20                 783
Printf.agda                                        15-Feb-2019 15:20                3172
ProjectingRecordMeta.agda                          15-Feb-2019 15:19                 668
ProjectionLikeAndConstructorHeaded.agda            15-Feb-2019 15:20                1375
ProjectionLikeAndMatching.agda                     15-Feb-2019 15:19                 611
ProjectionLikeAndModules.agda                      15-Feb-2019 15:20                 766
ProjectionLikeAndModules1.agda                     15-Feb-2019 15:20                 677
ProjectionLikeFunctions.agda                       15-Feb-2019 15:20                 657
ProjectionLikeRecursive.agda                       15-Feb-2019 15:20                1057
ProjectionNotNormalized.agda                       15-Feb-2019 15:19                5636
ProjectionsPreserveGuardednessTrivialExample.agda  15-Feb-2019 15:20                 476
ProjectionsTakeModuleTelAsParameters.agda          15-Feb-2019 15:20                 459
PruneLHS.agda                                      15-Feb-2019 15:19                 517
PruneRecord.agda                                   15-Feb-2019 15:19                 485
PruningNonMillerPattern.agda                       15-Feb-2019 15:19                3413
QualifiedConstructors.agda                         15-Feb-2019 15:20                 603
QuoteTerm.agda                                     15-Feb-2019 15:20                 779
RawFunctor.agda                                    15-Feb-2019 15:20                 367
RecordConstructorPatternMatching.agda              15-Feb-2019 15:20                 293
RecordConstructors.agda                            15-Feb-2019 15:19                 750
RecordInMutual.agda                                15-Feb-2019 15:20                 465
RecordInParModule.agda                             15-Feb-2019 15:19                 259
RecordPatternMatching.agda                         15-Feb-2019 15:20                3249
RecordUpdateSyntax.agda                            15-Feb-2019 15:19                1030
RecordsAndModules.agda                             15-Feb-2019 15:20                 420
ReducingConstructorsInWith.agda                    15-Feb-2019 15:20                 311
Reflection.agda                                    15-Feb-2019 15:19                3189
ReifyConstructorParametersForWith.agda             15-Feb-2019 15:20                 821
RelevanceSubtyping.agda                            15-Feb-2019 15:20                 245
Rewrite-with-doubly-indexed-equality.agda          15-Feb-2019 15:20                5840
Rewrite.agda                                       15-Feb-2019 15:20                5745
RewriteAndUniversePolymorphism.agda                15-Feb-2019 15:20                 204
RewriteAndWhere.agda                               15-Feb-2019 15:20                 615
Rose.agda                                          15-Feb-2019 15:20                 970
Russell.agda                                       15-Feb-2019 15:20                 786
SafeFlagSafePragmas.agda                           15-Feb-2019 15:19                 114
SafeFlagSafePragmas.flags                          15-Feb-2019 15:19                   6
SameMeta.agda                                      15-Feb-2019 15:19                 533
Shadow.agda                                        15-Feb-2019 15:20                 103
ShadowedLetBoundVar.agda                           15-Feb-2019 15:20                 288
ShapeIrrelevantIndex.agda                          15-Feb-2019 15:19                 361
SizeSucMonotone.agda                               15-Feb-2019 15:20                 378
SizedBTree.agda                                    15-Feb-2019 15:19                1793
SizedCoinductiveRecords.agda                       15-Feb-2019 15:19                4176
SizedNatNew.agda                                   15-Feb-2019 15:19                1910
SizedQuicksort.agda                                15-Feb-2019 15:19                 873
SizedTypesExtendedLambda.agda                      15-Feb-2019 15:20                1003
SizedTypesLeqInfty.agda                            15-Feb-2019 15:20                 431
SizedTypesMergeSort.agda                           15-Feb-2019 15:19                3189
SizedTypesMutual.agda                              15-Feb-2019 15:20                1823
SolveNeutralApplication.agda                       15-Feb-2019 15:19                 734
SplitOnDotPattern.agda                             15-Feb-2019 15:20                 523
Squash.agda                                        15-Feb-2019 15:20                 271
StreamProcEat.agda                                 15-Feb-2019 15:19                2099
SubTermAndProjections.agda                         15-Feb-2019 15:19                 862
Subset.agda                                        15-Feb-2019 15:19                 168
SubtermTermination.agda                            15-Feb-2019 15:20                 997
TelescopingLet.agda                                15-Feb-2019 15:19                1580
TelescopingLet5.agda                               15-Feb-2019 15:19                 352
TermSplicing.agda                                  15-Feb-2019 15:20               10361
TerminationArgumentSwapping.agda                   15-Feb-2019 15:19                1128
TerminationInductiveProjectionFromVariable.agda    15-Feb-2019 15:19                 190
TerminationListInsertionNaive.agda                 15-Feb-2019 15:19                1386
TerminationOnIrrelevantArgument.agda               15-Feb-2019 15:19                1177
TerminationSubExpression.agda                      15-Feb-2019 15:20                 753
TerminationWithTwoConstructors.agda                15-Feb-2019 15:19                 491
TestDefaultIncludePath.agda                        15-Feb-2019 15:20                 135
TestQuote.agda                                     15-Feb-2019 15:20                 724
TopLevelImport.agda                                15-Feb-2019 15:19                  96
TransColist.agda                                   15-Feb-2019 15:20                1736
TrustMe-with-doubly-indexed-equality.agda          15-Feb-2019 15:19                 340
TrustMe.agda                                       15-Feb-2019 15:20                 286
TypeInTypeAndUnivPoly.agda                         15-Feb-2019 15:20                 226
UncurryMeta.agda                                   15-Feb-2019 15:19                 654
UnderscoresAsDataParam.agda                        15-Feb-2019 15:20                 116
UnicodeSetIndex.agda                               15-Feb-2019 15:19                  65
UnifyWithIrrelevantArgument.agda                   15-Feb-2019 15:20                 519
UniversePolymorphicIO.agda                         15-Feb-2019 15:19                 974
UniversePolymorphicIO.flags                        15-Feb-2019 15:20                  26
UniversePolymorphicIO.hs                           15-Feb-2019 15:20                  59
UniversePolymorphism.agda                          15-Feb-2019 15:19                2071
UnusedArgsInPositivity.agda                        15-Feb-2019 15:20                1562
UnusedNamedImplicits.agda                          15-Feb-2019 15:20                 977
Using.agda                                         15-Feb-2019 15:20                 254
WErrorOverride.agda                                15-Feb-2019 15:19                 693
WErrorOverride.flags                               15-Feb-2019 15:19                  28
Whitespace.agda                                    15-Feb-2019 15:20                 509
WhyWeNeedTypedLambda.agda                          15-Feb-2019 15:19                 636
WhyWeNeedUntypedLambda.agda                        15-Feb-2019 15:20                 842
WithInParModule.agda                               15-Feb-2019 15:20                 528
WithInWhere.agda                                   15-Feb-2019 15:20                 426
WithOfFunctionType.agda                            15-Feb-2019 15:19                 224
WithoutK.agda                                      15-Feb-2019 15:20                1457
WithoutKDisjointSum.agda                           15-Feb-2019 15:19                 365
WithoutKRestrictive.agda                           15-Feb-2019 15:20                1447
WithoutKRestrictiveNoUniPoly.agda                  15-Feb-2019 15:20                1702
builtinInModule.agda                               15-Feb-2019 15:20                 140
checkOutput                                        15-Feb-2019 15:20                 204
list.agda                                          15-Feb-2019 15:19                 209
local.agda                                         15-Feb-2019 15:19                 379
optionsPragma.agda                                 15-Feb-2019 15:19                 150
para.agda                                          15-Feb-2019 15:19                 461
qsort.agda                                         15-Feb-2019 15:19                1531
simple.agda                                        15-Feb-2019 15:19                2866