Index of /ddc/icebox/ddc-head.old-darcs/test/ddc-main/50-CoreEval/25-Typing

	Name	Last modified	Size	Description
	Parent Directory		-
	10-Simple/	2013-09-20 09:03	-
	20-Let/	2013-09-05 06:52	-
	21-Letregion/	2013-11-20 10:31	-
	22-Case/	2013-11-20 10:31	-
	23-Witness/	2013-09-04 05:59	-
	29-Module/	2013-03-03 11:55	-
	30-Purify/	2013-11-20 10:31	-
	31-Forget/	2013-11-20 10:31	-
	32-Weaken/	2013-09-04 05:59	-
	50-Closure/	2013-11-20 10:31	-
	60-Crush/	2013-09-03 05:49	-
	61-Equiv/	2013-09-03 05:49	-
	70-Recon/	2013-09-03 05:49	-
	80-Synth/	2013-11-16 09:44	-