/handouts/
drwxr-xr-x [up]
-rw-r--r-- 2014-12-05 01:00 +0000 266136 flops14.pdf
-rw-r--r-- 2014-12-05 01:00 +0000 190675 ho01.pdf
-rw-r--r-- 2014-12-05 01:00 +0000 24310 ho01.tex
-rw-r--r-- 2014-12-05 01:00 +0000 156349 ho02.pdf
-rw-r--r-- 2014-12-05 01:00 +0000 20620 ho02.tex
-rw-r--r-- 2014-12-05 01:00 +0000 136824 ho03.pdf
-rw-r--r-- 2014-12-05 01:00 +0000 34379 ho03.tex
-rw-r--r-- 2014-12-05 01:00 +0000 152054 ho04.pdf
-rw-r--r-- 2014-12-05 01:00 +0000 26667 ho04.tex
-rw-r--r-- 2014-12-05 01:00 +0000 122387 ho05.pdf
-rw-r--r-- 2014-12-05 01:00 +0000 10498 ho05.tex
-rw-r--r-- 2014-12-05 01:00 +0000 131863 ho06.pdf
-rw-r--r-- 2014-12-05 01:00 +0000 19408 ho06.tex
-rw-r--r-- 2014-12-05 01:00 +0000 125534 notation.pdf
-rw-r--r-- 2014-12-05 01:00 +0000 9947 notation.tex
-rw-r--r-- 2014-12-05 01:00 +0000 178550 scala-ho.pdf
-rw-r--r-- 2014-12-05 01:00 +0000 37578 scala-ho.tex