/
drwxr-xr-x [up]
-rw-r--r-- 2008-09-26 22:39 -0700 110 .hgignore
-rw-r--r-- 2008-09-26 22:39 -0700 74 Axpy.hs
-rw-r--r-- 2008-09-26 22:39 -0700 61 Double.hs
-rw-r--r-- 2008-09-26 22:39 -0700 123 Hello.hs
-rw-r--r-- 2008-09-26 22:39 -0700 461 Length.hs
-rw-r--r-- 2008-09-26 22:39 -0700 19242 part2.tex
-rw-r--r-- 2008-09-26 22:39 -0700 17292 slides.tex