/slides/
drwxr-xr-x [up]
-rw-r--r-- 2017-05-31 09:26 +0100 184 Point.java
-rw-r--r-- 2017-05-31 09:26 +0100 36 Point.scala
-rw-r--r-- 2017-05-31 09:26 +0100 821 URLReader.java
-rw-r--r-- 2017-05-31 09:26 +0100 198620 slides01.pdf
-rw-r--r-- 2017-05-31 09:26 +0100 7187 slides01.tex
-rw-r--r-- 2017-05-31 09:26 +0100 117462 slides02.pdf
-rw-r--r-- 2017-05-31 09:26 +0100 3872 slides02.tex
-rw-r--r-- 2017-05-31 09:26 +0100 115935 slides03.pdf
-rw-r--r-- 2017-05-31 09:26 +0100 8783 slides03.tex