Index of /repos/icfp08

	Name	Last modified	Size	Description
	Parent Directory		-
	_darcs/	20-Jul-2008 03:02	-
	bin/	14-Jul-2008 17:15	-
	contact	12-Jul-2008 03:43	35
	src/	20-Jul-2008 03:02	-
	team	12-Jul-2008 03:43	17