Index of /Agda/test/succeed

	Name	Last modified	Size	Description
	Parent Directory		-
	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
	Berry.agda	17-Feb-2011 11:12	282
	Bush.agda	17-Feb-2011 11:12	1.2K
	CoPatStream.agda	19-Jun-2012 16:01	2.2K
	CoinductiveAfterEvaluation.agda	25-Aug-2011 14:21	355
	Comments.agda	17-Feb-2011 11:12	492
	CompareLevel.agda	23-Jun-2011 19:53	516
	CompilingCoinduction.agda	09-Sep-2011 06:36	730
	CompilingCoinduction.flags	09-Sep-2011 06:36	26
	ComputedLevels.agda	23-Jun-2011 19:53	521
	Const.agda	18-Sep-2012 10:57	577
	Copatterns.agda	30-Jun-2012 06:57	1.8K
	CoverStrategy.agda	13-Oct-2012 21:58	1.0K
	DataPolarity.agda	18-Sep-2012 10:57	960
	DataRecordInductive.agda	15-Jun-2012 11:43	1.5K
	DefinitionalEquality.agda	18-Sep-2012 13:35	700
	DependentIrrelevance.agda	09-Mar-2012 14:55	1.1K
	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	1.0K
	DotPatternTermination.agda	05-Mar-2013 11:35	1.4K
	EmptyInductiveRecord.agda	30-Jun-2012 06:57	296
	Epic.agda	17-Feb-2011 11:12	547
	Epic.flags	17-Feb-2011 11:12	6
	EqTest.agda	17-Feb-2011 11:12	457
	EtaAndMetas.agda	03-Oct-2012 14:24	287
	EtaContractIrrelevant.agda	18-Sep-2012 13:35	786
	EtaContractToMillerPattern.agda	06-Apr-2011 00:51	455
	EtaContractionDefBody.agda	18-Sep-2012 13:35	2.7K
	Exist.agda	17-Feb-2011 11:12	744
	ExplicitLambdaExperimentalIrrelevance.agda	21-Apr-2012 17:37	290
	FancyRecordModule.agda	17-Feb-2011 11:12	528
	Filter.agda	17-Feb-2011 11:12	779
	FilterSub.agda	08-Oct-2012 21:44	1.6K
	FlexRemoval.agda	23-Sep-2011 15:50	885
	FlexibleFunArity.agda	15-Mar-2013 12:23	1.3K
	FlexibleInterpreter.agda	15-Mar-2013 12:23	1.6K
	FlexibleInterpreter.flags	15-Mar-2013 12:23	26
	ForallForParameters.agda	17-Feb-2011 11:12	400
	FreezingTest.agda	12-Apr-2011 14:08	294
	GuardednessPreservingTypeConstructors.agda	23-Sep-2011 15:50	3.0K
	HereditarilySingletonRecord.agda	11-Apr-2011 22:32	822
	Hurkens.agda	17-Feb-2011 11:12	815
	ImplicitRecordFields.agda	17-Feb-2011 11:12	481
	ImplicitsAndWhere.agda	31-Jul-2012 20:47	2.4K
	IndexInference.agda	18-Sep-2012 13:35	1.1K
	IndexOnBuiltin.agda	17-Feb-2011 11:12	312
	InductiveAndCoinductiveConstructors.agda	18-Sep-2012 13:35	2.4K
	InferRecordTypes.agda	05-Sep-2011 20: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	17-Feb-2011 11:12	1.0K
	InstanceArguments.agda	06-May-2011 16:09	886
	InstanceArgumentsBraces.agda	17-Jun-2011 17:55	148
	InstanceArgumentsConstraints.agda	04-Apr-2012 13:06	436
	InstanceArgumentsDontDiscardCandidateUponUnsolvedConstraints.agda	18-Sep-2012 10:57	760
	InstanceArgumentsHidden.agda	22-Feb-2012 00:01	455
	InstanceArgumentsSections.agda	03-Apr-2012 15: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	1.6K
	IrrelevantApplication.agda	17-Feb-2011 11:12	895
	IrrelevantDataParameter.agda	04-Oct-2011 20:25	522
	IrrelevantDeclaration.agda	12-Jan-2012 13:00	368
	IrrelevantLambda.agda	15-Mar-2013 10:40	197
	IrrelevantLambdasDoNotNeedDotsAlways.agda	02-Oct-2011 19:02	266
	IrrelevantLet.agda	02-Oct-2011 22:13	181
	IrrelevantLevel.agda	04-Oct-2011 20:25	1.2K
	IrrelevantProjections.agda	12-Jan-2012 13:00	238
	IrrelevantRecordFields.agda	18-Nov-2012 16:10	741
	IrrelevantWith.agda	18-Apr-2012 14:05	261
	Issue26.agda	17-Feb-2011 11:12	386
	Issue31.agda	17-Feb-2011 11:12	459
	Issue34.agda	17-Feb-2011 11:12	332
	Issue44.agda	08-Oct-2012 21:44	881
	Issue49.agda	17-Feb-2011 11:12	131
	Issue81.agda	30-May-2011 21:57	268
	Issue89.agda	23-Sep-2011 15:50	2.3K
	Issue97.lagda	07-Sep-2011 14:17	46
	Issue97b.lagda	07-Sep-2011 14:17	109
	Issue100.agda	17-Feb-2011 11:12	139
	Issue106.agda	05-Mar-2013 11:35	703
	Issue107.agda	17-Feb-2011 11:12	253
	Issue117.agda	17-Feb-2011 11:12	90
	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 13:35	578
	Issue138.agda	23-Sep-2011 15:50	108
	Issue148.agda	18-Sep-2012 13:35	505
	Issue151.agda	11-Apr-2011 22:32	1.0K
	Issue152.agda	17-Feb-2011 11:12	434
	Issue153.agda	25-Aug-2011 14:21	584
	Issue154.agda	17-Feb-2011 11:12	792
	Issue155.agda	17-Feb-2011 11:12	304
	Issue162.agda	23-Sep-2011 15:50	823
	Issue165.agda	17-Feb-2011 11:12	268
	Issue166.agda	07-Oct-2011 09:41	426
	Issue168-irrelevant.agda	18-Sep-2012 10:57	384
	Issue168.agda	18-Sep-2012 10:57	296
	Issue168b.agda	18-Sep-2012 10:57	233
	Issue175.agda	17-Feb-2011 11:12	463
	Issue175b.agda	07-Oct-2011 12:35	922
	Issue180.agda	17-Feb-2011 11:12	592
	Issue199.agda	18-Sep-2012 13:35	329
	Issue202.agda	17-Feb-2011 11:12	293
	Issue203.agda	23-Jun-2011 19:53	705
	Issue204.agda	17-Feb-2011 11:12	164
	Issue204/	23-Jun-2011 19:53	-
	Issue209.agda	23-Jun-2011 19:53	933
	Issue211.agda	23-Jun-2011 19:53	1.5K
	Issue213.agda	07-Oct-2011 13: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 19:53	418
	Issue232.agda	23-Jun-2011 19:53	190
	Issue233.agda	17-Feb-2011 11:12	222
	Issue234.agda	17-Feb-2011 11:12	602
	Issue237.agda	09-Aug-2011 13:24	361
	Issue242.agda	17-Feb-2011 11:12	312
	Issue245.agda	18-Sep-2012 13:35	600
	Issue246.agda	17-Feb-2011 11:12	1.9K
	Issue248.agda	23-Jun-2011 19:53	412
	Issue251.agda	17-Feb-2011 11:12	147
	Issue252.agda	17-Feb-2011 11:12	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 09:59	297
	Issue261.agda	02-Sep-2011 15: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 13:35	1.5K
	Issue274.agda	23-Jun-2011 19:53	645
	Issue276.agda	17-Feb-2011 11:12	850
	Issue279.agda	16-Sep-2011 14:31	142
	Issue282.agda	11-Sep-2011 09:08	382
	Issue286.agda	07-Sep-2011 07:09	1.0K
	Issue291.agda	14-Apr-2011 22:52	1.3K
	Issue292-14.agda	21-Sep-2011 19:40	617
	Issue292-16.agda	21-Sep-2011 19:40	620
	Issue292-16b.agda	21-Sep-2011 19:40	719
	Issue292-17.agda	23-Sep-2011 15:50	1.0K
	Issue292-19.agda	21-Sep-2011 19:40	633
	Issue292-23.agda	21-Sep-2011 19:40	420
	Issue292-27.agda	21-Sep-2011 19:40	566
	Issue292.agda	21-Sep-2011 19:40	835
	Issue296.agda	28-Apr-2011 14:56	284
	Issue296.flags	17-Feb-2011 11:12	10
	Issue298.agda	04-Oct-2012 22:54	613
	Issue298b.agda	14-Feb-2012 13:24	518
	Issue300.agda	16-Oct-2012 22:25	504
	Issue307.agda	17-Feb-2011 11:12	190
	Issue311.agda	07-Sep-2011 15:09	1.0K
	Issue312.agda	19-Sep-2011 19:46	453
	Issue313.agda	17-Feb-2011 11:12	167
	Issue314.agda	17-Jun-2011 12:45	345
	Issue323.agda	17-Feb-2011 11:12	308
	Issue326.agda	29-Oct-2012 22:30	355
	Issue326.flags	23-Oct-2012 23: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 19:36	496
	Issue334.agda	17-Feb-2011 11:12	804
	Issue335.agda	12-Apr-2011 14:08	141
	Issue337.agda	22-Sep-2011 18:51	696
	Issue348.agda	12-Jan-2012 13:00	377
	Issue351-5.agda	04-Apr-2012 13:06	367
	Issue351.agda	04-Apr-2012 13:06	524
	Issue353.agda	18-Sep-2012 13:35	518
	Issue354.agda	23-Jun-2011 19:53	1.4K
	Issue361.agda	02-Sep-2011 21:51	341
	Issue365.agda	05-Mar-2013 11:35	1.2K
	Issue366.agda	17-Feb-2011 11:12	589
	Issue376.agda	27-Mar-2012 17:37	1.2K
	Issue383.agda	10-May-2011 00:48	883
	Issue383b.agda	23-Sep-2011 15:50	685
	Issue384.agda	07-Sep-2011 07:09	327
	Issue387.agda	09-Jun-2012 11:57	348
	Issue392.agda	12-Jan-2012 13:00	916
	Issue395.agda	25-Aug-2011 16:16	76
	Issue396.agda	23-Mar-2011 14:35	287
	Issue396b.agda	12-Jan-2012 13:00	565
	Issue408.agda	13-Oct-2012 21:58	1.4K
	Issue411.agda	12-Jan-2012 13:00	244
	Issue414.agda	19-May-2011 18:36	276
	Issue420.agda	16-Oct-2012 22:39	129
	Issue421.agda	27-Jun-2011 21:10	804
	Issue422.agda	29-Aug-2011 19:31	759
	Issue423.agda	23-Sep-2011 15:50	2.0K
	Issue425.agda	07-Jul-2011 10:34	811
	Issue427.agda	25-Aug-2011 16:04	188
	Issue435.agda	05-Mar-2013 11:35	967
	Issue438.agda	23-Aug-2011 16:25	322
	Issue439.agda	23-Sep-2011 15:50	1.2K
	Issue441.agda	02-Sep-2011 14:16	1.2K
	Issue442.agda	04-May-2012 15:27	366
	Issue443.agda	02-Sep-2011 12:39	230
	Issue447.agda	02-Sep-2011 16:16	208
	Issue448.agda	05-Sep-2011 20:36	508
	Issue450.agda	08-Sep-2011 05:59	843
	Issue451.agda	08-Sep-2011 05:59	464
	Issue455.agda	21-Sep-2011 20:22	714
	Issue458.agda	15-Sep-2011 15:05	1.0K
	Issue458b.agda	21-Sep-2011 10:23	1.1K
	Issue462.agda	18-Sep-2011 21:50	1.0K
	Issue468.agda	21-Sep-2011 19:02	330
	Issue469.agda	22-Sep-2011 14:06	1.1K
	Issue472.agda	23-Sep-2011 12:17	427
	Issue473.agda	29-Mar-2012 10:59	1.6K
	Issue474.agda	24-Sep-2011 07:40	203
	Issue475.agda	24-Sep-2011 08:42	396
	Issue479.agda	15-Mar-2012 13:34	403
	Issue480.agda	18-Sep-2012 13:35	1.1K
	Issue481.agda	19-Oct-2012 01:03	1.1K
	Issue481PonderBase.agda	17-Oct-2012 08:04	70
	Issue481PonderImportMe.agda	17-Oct-2012 08:04	96
	Issue481PonderMaster.agda	17-Oct-2012 08:04	129
	Issue481Record.agda	18-Oct-2012 08:45	63
	Issue482.agda	03-Oct-2011 09:19	494
	Issue483.agda	06-Oct-2011 17:52	635
	Issue483c.agda	06-Oct-2011 17:52	520
	Issue486.agda	03-Oct-2011 18:53	187
	Issue498.agda	26-Oct-2011 10:15	1.4K
	Issue498b.agda	26-Oct-2011 10:15	724
	Issue501.agda	31-Oct-2011 08:16	1.0K
	Issue502.agda	02-Nov-2011 08:59	106
	Issue505.agda	03-Nov-2011 08:26	592
	Issue509.agda	18-Sep-2012 13:35	1.1K
	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	1.6K
	Issue558c.agda	13-Feb-2012 14:29	454
	Issue561.agda	29-Oct-2012 22:30	372
	Issue561.flags	23-Oct-2012 23: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
	Issue593.agda	30-Mar-2012 21:18	1.0K
	Issue596.agda	03-Apr-2012 15:20	1.9K
	Issue597.agda	06-Apr-2012 09:24	1.0K
	Issue602-2.agda	04-Apr-2012 13:06	271
	Issue602.agda	04-Apr-2012 13:06	841
	Issue611.agda	18-Apr-2012 22:07	293
	Issue616.agda	30-Apr-2012 09:39	351
	Issue629.agda	09-May-2012 23:04	896
	Issue629a.agda	09-May-2012 23:04	475
	Issue655.agda	05-Mar-2013 11:35	833
	Issue658.agda	23-May-2012 21:55	597
	Issue661.agda	01-Jun-2012 10:30	1.0K
	Issue665.agda	21-Mar-2013 18:16	421
	Issue670a.agda	01-Jul-2012 18:36	489
	Issue671.agda	01-Jul-2012 19:01	404
	Issue674.agda	07-Jul-2012 10:23	430
	Issue675.agda	11-Jul-2012 14:18	209
	Issue678.agda	26-Jul-2012 08:37	1.1K
	Issue679.agda	31-Jul-2012 20:47	600
	Issue680-NeutralLevels.agda	24-Jul-2012 23:41	705
	Issue700.agda	26-Sep-2012 10:48	726
	Issue701-c.agda	27-Sep-2012 16:15	1.0K
	Issue709.agda	19-Oct-2012 08:45	1.7K
	Issue727.agda	15-Mar-2013 12:23	355
	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	1.8K
	Issue739.agda	29-Oct-2012 20:31	1.5K
	Issue747.agda	06-Nov-2012 14:16	872
	Issue754.agda	13-Nov-2012 18:52	1.4K
	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	05-Mar-2013 11:35	386
	Issue794.agda	16-Feb-2013 13:32	144
	Issue794a.agda	16-Feb-2013 13:32	129
	Issue795.agda	19-Feb-2013 15:56	1.8K
	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
	Issue814.agda	05-Mar-2013 11:58	1.2K
	Issue822.agda	21-Mar-2013 09:29	1.0K
	Issue824.agda	21-Mar-2013 18:16	714
	Issue826-2.agda	20-Mar-2013 16:14	1.0K
	Issue826.agda	20-Mar-2013 16:14	965
	Issue827.agda	22-Mar-2013 18:57	2.0K
	Issue833-2.agda	13-Apr-2013 12:23	157
	Issue833.agda	13-Apr-2013 12:23	155
	Issue836.agda	03-May-2013 15:03	772
	Issue843.agda	06-May-2013 16:04	1.2K
	Issue848.agda	17-May-2013 10:07	90
	JMEq.agda	17-Feb-2011 11:12	187
	LaTeX.flags	16-Oct-2012 18:13	7
	LaTeX.lagda	16-Oct-2012 18:13	1.1K
	Lambda.agda	17-Feb-2011 11:12	2.3K
	LateExpansionOfRecordMeta.agda	17-Feb-2011 11:12	512
	LetLHS.agda	17-Feb-2011 11:12	208
	LetPair.agda	05-Jun-2012 14:58	870
	LevelConstraints.agda	03-Oct-2011 09:19	551
	LevelUnification.agda	23-Jun-2011 19:53	568
	LevelWithBug.agda	09-Aug-2011 13:24	2.0K
	LineEndings/	17-Feb-2011 11:12	-
	LinearTemporalLogic.agda	19-Jun-2012 16:01	2.6K
	ListsWithIrrelevantProofs.agda	17-Feb-2011 11:12	751
	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	03-Oct-2012 14:24	1.2K
	MatchIrrelevant.agda	04-Oct-2011 10:58	1.3K
	MixfixBinders.agda	17-Feb-2011 11:12	685
	ModuleInstInLet.agda	17-Feb-2011 11:12	257
	MultipleIdentifiersOneSignature.agda	09-Oct-2012 10:32	560
	NameFirstIfHidden.agda	18-Sep-2012 14: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
	NestedInj.agda	17-Feb-2011 11:12	662
	NoBlockOnLevel.agda	29-Jun-2011 17:10	955
	NoTerminationCheck.agda	28-Feb-2013 16:14	1.1K
	NoTerminationCheckPositivity.agda	20-Mar-2013 16:14	445
	NoUniverseCheck.agda	17-Feb-2011 11:12	382
	NonvariantPolarity.agda	08-Oct-2012 21:44	1.8K
	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 23:24	261
	Options-in-right-order.flags	05-Apr-2013 23:24	59
	OverloadedConInParamModule.agda	17-Feb-2011 11:12	173
	OverloadedConstructors.agda	17-Feb-2011 11:12	392
	Parity.agda	17-Feb-2011 11:12	816
	PartialityMonad.agda	08-Oct-2012 21:44	855
	PartiallyAppliedConstructorInIndex.agda	08-Oct-2012 21:44	276
	PatternMatchingLambda.agda	12-Oct-2012 17:58	2.2K
	PatternSynonymImports.agda	09-Mar-2012 15:37	152
	PatternSynonymImports2.agda	09-Mar-2012 15:37	162
	PatternSynonyms.agda	07-Apr-2012 16:55	7.1K
	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	3.1K
	ProjectingRecordMeta.agda	08-Apr-2011 15:00	668
	ProjectionLikeAndConstructorHeaded.agda	02-Sep-2011 12:39	1.3K
	ProjectionLikeAndMatching.agda	17-Jan-2012 19:30	611
	ProjectionLikeFunctions.agda	02-Sep-2011 12:39	657
	ProjectionLikeRecursive.agda	26-Sep-2012 10:48	1.1K
	ProjectionsPreserveGuardednessTrivialExample.agda	23-Sep-2011 15:50	1.3K
	PruneLHS.agda	21-Apr-2011 11:35	517
	PruningNonMillerPattern.agda	04-May-2012 15:27	3.2K
	QualifiedConstructors.agda	17-Feb-2011 11:12	603
	QuoteTerm.agda	01-May-2013 20:39	779
	RawFunctor.agda	23-Jun-2011 19:53	367
	RecordConstructorPatternMatching.agda	17-Feb-2011 11:12	293
	RecordConstructors.agda	17-Feb-2011 11:12	750
	RecordInMutual.agda	10-Jun-2012 00:32	465
	RecordInParModule.agda	17-Feb-2011 11:12	259
	RecordPatternMatching.agda	06-Jul-2011 09:42	3.1K
	RecordUpdateSyntax.agda	18-Nov-2011 10:19	1.0K
	RecordsAndModules.agda	17-Feb-2011 11:12	420
	ReducingConstructorsInWith.agda	17-Feb-2011 11:12	311
	Reflection.agda	01-May-2013 20:39	3.2K
	ReifyConstructorParametersForWith.agda	18-Sep-2012 10:57	821
	RelevanceSubtyping.agda	18-Sep-2012 10:57	245
	Rewrite-with-doubly-indexed-equality.agda	18-Nov-2012 16:10	5.7K
	Rewrite.agda	18-Nov-2012 16:10	5.6K
	RewriteAndUniversePolymorphism.agda	09-Aug-2011 13:24	615
	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 13:31	114
	SafeFlagSafePragmas.flags	06-Oct-2011 13:31	6
	SameMeta.agda	18-Apr-2011 10:11	533
	Shadow.agda	17-Feb-2011 11:12	103
	ShadowedLetBoundVar.agda	16-Aug-2012 18:25	288
	ShapeIrrelevantIndex.agda	20-Sep-2012 16:16	361
	SizeSucMonotone.agda	26-Sep-2012 10:48	439
	SizedBTree.agda	20-Feb-2012 23:16	920
	SizedCoinductiveRecords.agda	20-Sep-2012 09:27	2.7K
	SizedTypesLeqInfty.agda	17-Feb-2011 11:12	393
	SizedTypesMergeSort.agda	17-Feb-2011 11:12	1.4K
	SolveNeutralApplication.agda	18-Sep-2012 13:35	734
	SplitOnDotPattern.agda	17-Feb-2011 11:12	523
	Squash.agda	08-Apr-2011 15:00	271
	StreamProcEat.agda	23-Sep-2011 15:50	2.0K
	SubTermAndProjections.agda	07-Jul-2011 10:34	862
	Subset.agda	08-Apr-2011 15:00	168
	SubtermTermination.agda	07-Jul-2011 10:34	1.0K
	TermSplicing.agda	01-May-2013 20:39	10K
	TerminationArgumentSwapping.agda	17-Feb-2011 11:12	1.1K
	TerminationListInsertionNaive.agda	17-Feb-2011 11:12	1.4K
	TerminationOnIrrelevantArgument.agda	04-Oct-2011 10:58	1.1K
	TerminationSubExpression.agda	19-Apr-2011 22:06	622
	TerminationWithTwoConstructors.agda	17-Feb-2011 11:12	491
	TestQuote.agda	29-Apr-2011 13:42	770
	TopLevelImport.agda	17-Feb-2011 11:12	96
	TransColist.agda	14-Sep-2011 13:11	1.7K
	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 01:20	654
	UnderscoresAsDataParam.agda	08-Apr-2011 15:00	116
	UnicodeSetIndex.agda	17-Feb-2011 11:12	65
	UnifyWithIrrelevantArgument.agda	02-Oct-2011 19:02	519
	UniversePolymorphicIO.agda	09-Sep-2011 06:36	1.0K
	UniversePolymorphicIO.flags	28-Apr-2011 17:23	26
	UniversePolymorphicIO.hs	28-Apr-2011 17:23	59
	UniversePolymorphism.agda	23-Jun-2011 19:53	2.2K
	UnusedArgsInPositivity.agda	23-Sep-2011 15:50	1.5K
	UnusedNamedImplicits.agda	05-Mar-2013 11:35	1.0K
	Using.agda	17-Feb-2011 11:12	254
	WErrorOverride.agda	02-Oct-2012 15:41	693
	WErrorOverride.flags	23-Aug-2012 13:02	28
	Whitespace.agda	17-Feb-2011 11:12	509
	WhyWeNeedTypedLambda.agda	04-Sep-2012 22:17	636
	WhyWeNeedUntypedLambda.agda	07-Sep-2011 05:55	842
	WithInParModule.agda	17-Feb-2011 11:12	528
	WithInWhere.agda	17-Feb-2011 11:12	426
	WithoutK.agda	24-Mar-2011 22:56	1.5K
	builtin.agda	17-Feb-2011 11:12	3.8K
	builtinInModule.agda	17-Feb-2011 11:12	140
	checkOutput	09-Sep-2011 06: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	1.5K
	simple.agda	23-Sep-2011 15:50	2.8K