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


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