finished slides for long review

[rsss1516.git] / long1 / pre.tex

diff --git a/long1/pre.tex b/long1/pre.tex
index ada3c0b..bd9e489 100644 (file)
--- a/long1/pre.tex
+++ b/long1/pre.tex
@@ -3,7 +3,7 @@
 \usepackage{clean}
 
 \usecolortheme{dove}
-\usetheme{Singapore}
+\beamertemplatenavigationsymbolsempty%
 
 \title[RSSS]{Monads for functional programming\\P.\ Wadler}
 \subtitle{Originally published in Springer's \emph{Program Design Calculi} in