update'
[rsss1516.git] / long2 / slides.tex
index 1933c08..b87600e 100644 (file)
@@ -23,7 +23,7 @@
                \item Elegance
                \item Instructive
                \item Fun
-               \item Editors
+               \item Famous editors
                        \begin{itemize}
                                \item Prof.\ Philip Wadler
                                \item \ldots