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