Index of /Agda/test/interaction

	Name	Last modified	Size	Description
	Parent Directory		-
	AutoMisc.agda	23-Jun-2011 19:53	2.6K
	AutoMisc.in	17-Feb-2011 11:12	207
	AutoMisc.out	08-Oct-2012 22:58	1.9K
	Debug.agda	31-Jan-2012 13:43	61
	Debug.in	31-Jan-2012 13:43	38
	Debug.out	08-Oct-2012 22:58	596
	Error-in-imported-module.agda	04-May-2012 18:28	78
	Error-in-imported-module.in	19-Oct-2012 19:23	68
	Error-in-imported-module.out	08-Oct-2012 22:58	572
	Error-in-imported-module/	04-May-2012 18:28	-
	ExtendedLambdaCase.agda	16-Oct-2012 18:13	728
	ExtendedLambdaCase.in	16-Oct-2012 18:13	802
	ExtendedLambdaCase.out	16-Oct-2012 18:13	2.5K
	GiveInSpiteOfUnsolvedIrr.agda	21-Mar-2012 10:58	1.1K
	GiveInSpiteOfUnsolvedIrr.in	21-Mar-2012 10:58	73
	GiveInSpiteOfUnsolvedIrr.out	08-Oct-2012 22:58	1.2K
	GiveSize.agda	26-Sep-2012 10:48	133
	GiveSize.in	26-Sep-2012 10:48	66
	GiveSize.out	08-Oct-2012 22:58	507
	Highlighting.agda	04-May-2012 18:28	329
	Highlighting.in	19-Oct-2012 19:23	66
	Highlighting.out	29-Oct-2012 20:57	8.0K
	Highlighting/	04-May-2012 18:28	-
	Imports/	17-Feb-2011 11:12	-
	Impossible.agda	23-May-2012 19:07	44
	Impossible.in	23-May-2012 19:07	38
	Impossible.out	19-Oct-2012 12:25	373
	InferIrrelevant.agda	04-Oct-2011 15:36	204
	InferIrrelevant.in	04-Oct-2011 15:36	82
	InferIrrelevant.out	08-Oct-2012 22:58	505
	IntroSharp.agda	23-Jun-2011 19:53	643
	IntroSharp.in	04-Apr-2012 15:01	74
	IntroSharp.out	08-Oct-2012 22:58	531
	Issue208.agda	07-Oct-2011 13:40	68
	Issue208.in	07-Oct-2011 13:40	82
	Issue208.out	08-Oct-2012 22:58	486
	Issue231.agda	07-Oct-2011 13:48	506
	Issue231.in	07-Oct-2011 13:48	75
	Issue231.out	08-Oct-2012 22:58	534
	Issue254.agda	02-Sep-2011 20:18	283
	Issue254.in	02-Sep-2011 20:18	86
	Issue254.out	08-Oct-2012 22:58	553
	Issue271.agda	17-Feb-2011 11:12	114
	Issue271.in	17-Feb-2011 11:12	156
	Issue271.out	08-Oct-2012 22:58	714
	Issue277.agda	17-Feb-2011 11:12	370
	Issue277.in	17-Feb-2011 11:12	280
	Issue277.out	08-Oct-2012 22:58	896
	Issue289.agda	22-Mar-2013 09:25	438
	Issue289.in	22-Mar-2013 09:25	71
	Issue289.out	22-Mar-2013 09:25	666
	Issue317.agda	11-Sep-2011 13:47	609
	Issue317.in	11-Sep-2011 13:47	183
	Issue317.out	08-Oct-2012 22:58	651
	Issue358.agda	11-Sep-2011 08:21	169
	Issue358.in	11-Sep-2011 08:21	86
	Issue358.out	08-Oct-2012 22:58	528
	Issue363.agda	11-Sep-2011 03:27	317
	Issue363.in	11-Sep-2011 03:27	38
	Issue363.out	08-Oct-2012 22:58	415
	Issue373.agda	28-Apr-2011 14:56	1.1K
	Issue373.out	28-Feb-2013 16:55	1.1K
	Issue373.sh	19-Oct-2012 19:23	210
	Issue378.agda	06-Nov-2012 16:03	469
	Issue378.in	06-Nov-2012 16:03	67
	Issue378.out	06-Nov-2012 16:03	556
	Issue388.agda	07-Sep-2011 10:19	220
	Issue388.in	07-Sep-2011 10:19	86
	Issue388.out	08-Oct-2012 22:58	724
	Issue417.agda	13-Sep-2011 08:56	253
	Issue417.in	12-Sep-2011 08:17	204
	Issue417.out	08-Oct-2012 22:58	657
	Issue453.agda	09-May-2012 12:03	72
	Issue453.in	09-May-2012 12:03	39
	Issue453.out	08-Oct-2012 22:58	445
	Issue499.agda	31-Oct-2011 07:17	185
	Issue499.in	31-Oct-2011 07:17	71
	Issue499.out	08-Oct-2012 22:58	466
	Issue556.agda	16-Jan-2012 19:16	53
	Issue556.in	16-Jan-2012 19:16	300
	Issue556.out	08-Oct-2012 22:58	915
	Issue564.agda	16-Mar-2012 14:33	264
	Issue564.in	16-Mar-2012 14:33	83
	Issue564.out	08-Oct-2012 22:58	487
	Issue589.agda	21-Mar-2012 09:57	118
	Issue589.in	21-Mar-2012 09:57	70
	Issue589.out	08-Oct-2012 22:58	510
	Issue591.agda	26-Mar-2012 18:59	41
	Issue591.in	26-Mar-2012 18:59	38
	Issue591.out	08-Oct-2012 22:58	513
	Issue591/	26-Mar-2012 18:59	-
	Issue599.agda	04-Apr-2012 15:01	180
	Issue599.in	04-May-2012 18:28	237
	Issue599.out	08-Oct-2012 22:58	795
	Issue604.agda	08-Oct-2012 21:25	69
	Issue604.in	08-Oct-2012 21:25	112
	Issue604.out	09-Oct-2012 13:11	682
	Issue606.agda	07-Apr-2012 09:31	259
	Issue606.in	04-May-2012 18:28	137
	Issue606.out	08-Oct-2012 22:58	584
	Issue620.agda	08-May-2012 08:00	133
	Issue620.in	08-May-2012 08:00	112
	Issue620.out	08-Oct-2012 22:58	510
	Issue630.agda	05-Jun-2012 17:12	139
	Issue630.in	05-Jun-2012 17:12	38
	Issue630.out	08-Oct-2012 22:58	365
	Issue635.agda	21-Mar-2013 22:17	1.0K
	Issue635.in	21-Mar-2013 22:17	71
	Issue635.out	21-Mar-2013 22:17	509
	Issue637.agda	15-May-2012 13:27	22
	Issue637.in	15-May-2012 13:27	38
	Issue637.out	19-Oct-2012 12:25	186
	Issue639.agda	15-Oct-2012 20:28	41
	Issue639.in	15-Oct-2012 20:28	38
	Issue639.out	15-Oct-2012 20:28	405
	Issue641.agda	18-Oct-2012 18:46	42
	Issue641.out	18-Oct-2012 18:46	744
	Issue641.sh	19-Oct-2012 19:23	524
	Issue642.agda	16-May-2012 13:43	337
	Issue642.in	16-May-2012 13:43	37
	Issue642.out	08-Oct-2012 22:58	367
	Issue643.agda	16-May-2012 15:14	389
	Issue643.in	16-May-2012 15:14	37
	Issue643.out	08-Oct-2012 22:58	379
	Issue670.agda	30-Jun-2012 06:57	485
	Issue670.in	30-Jun-2012 06:57	69
	Issue670.out	08-Oct-2012 22:58	527
	Issue679a.agda	31-Jul-2012 20:47	341
	Issue679a.in	31-Jul-2012 20:47	84
	Issue679a.out	08-Oct-2012 22:58	583
	Issue720.agda	19-Oct-2012 19:23	22
	Issue720.out	19-Oct-2012 19:23	1.3K
	Issue720.sh	19-Oct-2012 19:23	276
	Issue778.agda	27-Feb-2013 09:33	496
	Issue778.in	27-Feb-2013 09:33	133
	Issue778.out	27-Feb-2013 09:33	752
	Issue800.agda	28-Feb-2013 10:53	430
	Issue800.in	28-Feb-2013 10:53	73
	Issue800.out	28-Feb-2013 10:53	490
	Issue810.agda	05-Mar-2013 15:53	294
	Issue810.in	05-Mar-2013 15:53	176
	Issue810.out	05-Mar-2013 15:53	1.0K
	Issue811.agda	05-Mar-2013 11:35	1.4K
	Issue811.in	05-Mar-2013 11:35	236
	Issue811.out	05-Mar-2013 11:35	1.1K
	Issue841.agda	01-May-2013 10:39	462
	Issue841.in	01-May-2013 10:39	104
	Issue841.out	01-May-2013 10:39	844
	Literate.in	02-Feb-2012 09:43	38
	Literate.lagda	02-Feb-2012 09:43	106
	Literate.out	08-Oct-2012 22:58	364
	Long.agda	17-Feb-2011 11:12	433
	Long.in	04-May-2012 18:28	1.6K
	Long.out	30-Oct-2012 10:12	6.9K
	Makefile	28-Feb-2013 16:55	2.9K
	Multisplit.agda	05-Mar-2013 11:35	1.3K
	Multisplit.in	04-Oct-2012 22:35	228
	Multisplit.out	08-Oct-2012 22:58	2.9K
	NiceGoals.agda	06-Jul-2011 13:31	2.5K
	NiceGoals.in	06-Jul-2011 13:31	38
	NiceGoals.out	08-Oct-2012 22:58	524
	Positivity-once.agda	21-Feb-2012 19:58	298
	Positivity-once.in	21-Feb-2012 19:58	38
	Positivity-once.out	08-Oct-2012 22:58	430
	PragmasRespected.agda	17-Feb-2011 11:12	125
	PragmasRespected.in	17-Feb-2011 11:12	255
	PragmasRespected.out	08-Oct-2012 22:58	933
	README	18-Oct-2012 18:46	1.2K
	RecordPatternMatching.agda	17-Feb-2011 11:12	330
	RecordPatternMatching.in	17-Feb-2011 11:12	136
	RecordPatternMatching.out	08-Oct-2012 22:58	660
	RecordUpdateSyntax.agda	08-Nov-2011 20:02	149
	RecordUpdateSyntax.in	08-Nov-2011 20:02	90
	RecordUpdateSyntax.out	08-Oct-2012 22:58	558
	SetInf.agda	09-Aug-2011 13:24	96
	SetInf.in	09-Aug-2011 13:24	38
	SetInf.out	08-Oct-2012 22:58	390
	Stuck.agda	28-Feb-2013 12:00	153
	Stuck.in	28-Feb-2013 12:00	71
	Stuck.out	28-Feb-2013 12:00	751
	With-flicker.agda	19-Oct-2012 19:23	566
	With-flicker.in	19-Oct-2012 19:23	63
	With-flicker.out	19-Oct-2012 19:23	29K