Index of /~ulfn/darcs/Agda2/test/fail

	Name	Last modified	Size	Description
	Parent Directory		-
	WrongSizeAssignment2..>	2009-06-08 09:56	39
	WrongSizeAssignment2..>	2009-06-08 09:56	486
	WrongSizeAssignment.err	2009-06-08 09:56	39
	WrongSizeAssignment...>	2009-06-08 09:56	487
	TerminationNoArgs.err	2009-06-08 09:56	39
	MixedInductiveCoindu..>	2009-06-08 09:56	224
	MixedInductiveCoindu..>	2009-06-08 09:56	578
	proofIrr.err	2009-06-08 09:56	148
	proofIrr.agda	2009-06-08 09:56	466
	errors/	2009-06-08 09:56	-
	WrongDotPattern.err	2009-06-08 09:56	133
	WrongDotPattern.agda	2009-06-08 09:56	213
	WithScopeError.err	2009-06-08 09:56	105
	WithScopeError.agda	2009-06-08 09:56	196
	UncurryMeta.err	2009-06-08 09:56	99
	UncurryMeta.agda	2009-06-08 09:56	593
	TerminationNoArgs.agda	2009-06-08 09:56	56
	PureLambda.err	2009-06-08 09:56	132
	PureLambda.agda	2009-06-08 09:56	163
	Productivity.err	2009-06-08 09:56	38
	Productivity.agda	2009-06-08 09:56	932
	OccursCheck.err	2009-06-08 09:56	103
	OccursCheck.agda	2009-06-08 09:56	243
	Negative5.err	2009-06-08 09:56	141
	Negative5.agda	2009-06-08 09:56	100
	Negative4.err	2009-06-08 09:56	137
	Negative4.agda	2009-06-08 09:56	118
	Negative3.err	2009-06-08 09:56	132
	Negative3.agda	2009-06-08 09:56	90
	Negative2.err	2009-06-08 09:56	210
	Negative2.agda	2009-06-08 09:56	158
	Negative1.err	2009-06-08 09:56	130
	Negative1.agda	2009-06-08 09:56	68
	Makefile	2009-06-08 09:56	2.0K
	MagicWith.err	2009-06-08 09:56	122
	MagicWith.agda	2009-06-08 09:56	783
	Issue87.err	2009-06-08 09:56	278
	Issue87.agda	2009-06-08 09:56	280
	Issue62.err	2009-06-08 09:56	109
	Issue62.agda	2009-06-08 09:56	251
	FixityOutOfScopeInRe..>	2009-06-08 09:56	85
	FixityOutOfScopeInRe..>	2009-06-08 09:56	77
	DuplicateExport.err	2009-06-08 09:56	170
	DuplicateExport.agda	2009-06-08 09:56	141
	Crash.err	2009-06-08 09:56	89
	Crash.agda	2009-06-08 09:56	246
	BadTermination.err	2009-06-08 09:56	39
	BadTermination.agda	2009-06-08 09:56	238