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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[TXT]joesFont.tex2010-01-13 09:29 416  
[TXT]intro.tex2010-01-13 09:29 448  
[TXT]ghci.tex2010-01-13 09:29 502  
[TXT]Lazy.hs2010-01-13 09:29 661  
[TXT]main.tex2010-01-13 09:29 712  
[TXT]fold.tex2010-01-13 09:29 1.7K 
[TXT]data.tex2010-01-13 09:29 1.8K 
[TXT]lazy.tex2010-01-13 09:29 1.9K 
[   ]main.dvi2010-01-13 09:29 34K 
[   ]main.pdf2010-01-13 09:29 50K 
[   ]main.ps2010-01-13 09:29 129K 
[   ]main.8.ps2010-01-13 09:29 140K 

Apache/2.4.52 (Ubuntu) Server at imweb.imn.htwk-leipzig.de Port 443