Index of /~waldmann/talk/09/hal4/emu

	Name	Last modified	Size	Description
	Parent Directory		-
	Lazy.hs	2010-01-13 09:29	661
	data.tex	2010-01-13 09:29	1.8K
	fold.tex	2010-01-13 09:29	1.7K
	ghci.tex	2010-01-13 09:29	502
	intro.tex	2010-01-13 09:29	448
	joesFont.tex	2010-01-13 09:29	416
	lazy.tex	2010-01-13 09:29	1.9K
	main.8.ps	2010-01-13 09:29	140K
	main.dvi	2010-01-13 09:29	34K
	main.pdf	2010-01-13 09:29	50K
	main.ps	2010-01-13 09:29	129K
	main.tex	2010-01-13 09:29	712