/handouts/
drwxr-xr-x [up]
-rw-r--r-- 2020-01-28 12:23 +0000 266136 flops14.pdf
-rw-r--r-- 2020-01-28 12:23 +0000 65876 graphs.pdf
-rw-r--r-- 2020-01-28 12:23 +0000 3166 graphs.tex
-rw-r--r-- 2020-01-28 12:23 +0000 213787 ho01.pdf
-rw-r--r-- 2020-01-28 12:23 +0000 33755 ho01.tex
-rw-r--r-- 2020-01-28 12:23 +0000 172639 ho02.pdf
-rw-r--r-- 2020-01-28 12:23 +0000 37809 ho02.tex
-rw-r--r-- 2020-01-28 12:23 +0000 220695 ho03.pdf
-rw-r--r-- 2020-01-28 12:23 +0000 66928 ho03.tex
-rw-r--r-- 2020-01-28 12:23 +0000 172931 ho04.pdf
-rw-r--r-- 2020-01-28 12:23 +0000 36368 ho04.tex
-rw-r--r-- 2020-01-28 12:23 +0000 10498 ho05-bak.tex
-rw-r--r-- 2020-01-28 12:23 +0000 134370 ho05.pdf
-rw-r--r-- 2020-01-28 12:23 +0000 32376 ho05.tex
-rw-r--r-- 2020-01-28 12:23 +0000 175768 ho06.pdf
-rw-r--r-- 2020-01-28 12:23 +0000 37979 ho06.tex
-rw-r--r-- 2020-01-28 12:23 +0000 180117 ho07.pdf
-rw-r--r-- 2020-01-28 12:23 +0000 38038 ho07.tex
-rw-r--r-- 2020-01-28 12:23 +0000 143479 ho08.pdf
-rw-r--r-- 2020-01-28 12:23 +0000 17425 ho08.tex
-rw-r--r-- 2020-01-28 12:23 +0000 141731 ho09.pdf
-rw-r--r-- 2020-01-28 12:23 +0000 17631 ho09.tex
-rw-r--r-- 2020-01-28 12:23 +0000 161807 ho10.pdf
-rw-r--r-- 2020-01-28 12:23 +0000 25659 ho10.tex
-rw-r--r-- 2020-01-28 12:23 +0000 137692 notation.pdf
-rw-r--r-- 2020-01-28 12:23 +0000 12830 notation.tex
-rw-r--r-- 2020-01-28 12:23 +0000 181984 scala-ho.pdf
-rw-r--r-- 2020-01-28 12:23 +0000 38545 scala-ho.tex