updates

diff --git a/pres.system.tex b/pres.system.tex
index 84b9b1e..63b8e05 100644 (file)
--- a/pres.system.tex
+++ b/pres.system.tex
@@ -54,7 +54,7 @@ tell2 x = BC (tell x)
 
 instance arith ByteCode where
        lit x = tell2 [BCPush (BCValue x)]
-       (+.) x y = op2 x y BCDiv
+       (+.) x y = op2 x y BCAdd
        ...
        \end{lstlisting}
 \end{frame}

diff --git a/presentation.pre b/presentation.pre
index 35ade65..98a4af6 100644 (file)
--- a/presentation.pre
+++ b/presentation.pre
@@ -41,7 +41,6 @@
        literate=%
                % Basic Clean constructs
                {\\}{{$\lambda\:$}}1
-               {->}{{$\rightarrow\:$}}1
                {A.}{{$\forall\;\,$}}1
                {E.}{{$\exists\;\,$}}1
                {*}{{$^*$}}1