Index of /edu/course.2017/DAT140/Ulf-lecture-2017/Term

	Name	Last modified	Size	Description
	Parent Directory		-
	Eval.agda	2017-10-13 09:59	782
	Lex.agda	2017-10-13 09:59	1.5K
	Parse.agda	2017-10-13 09:59	1.9K
	Show.agda	2017-10-13 09:59	900
	UntypedEval.agda	2017-10-13 09:59	1.0K