Index of /~ulfn/darcs/AFP08/_darcs/pristine/Exercises

	Name	Last modified	Size	Description
	Parent Directory		-
	Exercise3/	2009-06-08 09:56	-
	Exercise1.agda	2009-06-08 09:56	2.9K
	TypeChecker.agda	2009-06-08 09:56	3.3K
	Exercise2.agda	2009-06-08 09:56	3.7K