/handouts/
drwxr-xr-x [up]
-rw-r--r-- 2018-06-11 14:51 +0100 159792 pep-ho.pdf
-rw-r--r-- 2018-06-11 14:51 +0100 31747 pep-ho.tex
-rw-r--r-- 2018-06-11 14:51 +0100 181531 scala-ho.pdf
-rw-r--r-- 2018-06-11 14:51 +0100 39175 scala-ho.tex