/handouts/
drwxr-xr-x [up]
-rw-r--r-- 2017-05-07 03:01 +0100 266136 flops14.pdf
-rw-r--r-- 2017-05-07 03:01 +0100 205171 ho01.pdf
-rw-r--r-- 2017-05-07 03:01 +0100 30594 ho01.tex
-rw-r--r-- 2017-05-07 03:01 +0100 183147 ho02.pdf
-rw-r--r-- 2017-05-07 03:01 +0100 37430 ho02.tex
-rw-r--r-- 2017-05-07 03:01 +0100 221755 ho03.pdf
-rw-r--r-- 2017-05-07 03:01 +0100 60110 ho03.tex
-rw-r--r-- 2017-05-07 03:01 +0100 169616 ho04.pdf
-rw-r--r-- 2017-05-07 03:01 +0100 30413 ho04.tex
-rw-r--r-- 2017-05-07 03:01 +0100 10498 ho05-bak.tex
-rw-r--r-- 2017-05-07 03:01 +0100 137919 ho05.pdf
-rw-r--r-- 2017-05-07 03:01 +0100 20298 ho05.tex
-rw-r--r-- 2017-05-07 03:01 +0100 123200 ho06.pdf
-rw-r--r-- 2017-05-07 03:01 +0100 13571 ho06.tex
-rw-r--r-- 2017-05-07 03:01 +0100 159178 ho07.pdf
-rw-r--r-- 2017-05-07 03:01 +0100 26165 ho07.tex
-rw-r--r-- 2017-05-07 03:01 +0100 127934 ho08.pdf
-rw-r--r-- 2017-05-07 03:01 +0100 12463 ho08.tex
-rw-r--r-- 2017-05-07 03:01 +0100 130815 notation.pdf
-rw-r--r-- 2017-05-07 03:01 +0100 11103 notation.tex
-rw-r--r-- 2017-05-07 03:01 +0100 179741 scala-ho.pdf
-rw-r--r-- 2017-05-07 03:01 +0100 38545 scala-ho.tex