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

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