diff -r 7d3037a57125 -r fdf77ee57cdc handouts/scala-ho.tex --- a/handouts/scala-ho.tex Thu May 17 12:52:33 2018 +0100 +++ b/handouts/scala-ho.tex Mon Jun 11 14:48:18 2018 +0100 @@ -10,7 +10,7 @@ % see https://medium.com/@thejasbabu/scala-pattern-matching-9c9e73ba9a8a -\begin{document} +\begin{document} \section*{A Crash-Course on Scala}