Index of /~nad/repos/simply-typed/_darcs/pristine

	Name	Last modified	Size	Description
	Parent Directory		-
	SimplyTyped/	26-Oct-2010 14:02	-
	README.agda	26-Sep-2009 14:41	1.4K
	HOAS/	08-Apr-2009 12:40	-