From a93f144b810887e1bd3b0a0e1e1b098ca7b8ae9c Mon Sep 17 00:00:00 2001
From: Mart Lubbers <mart@martlubbers.net>
Date: Sun, 9 Jul 2017 11:58:31 +0200
Subject: [PATCH] updates

---
 pres.system.tex  | 2 +-
 presentation.pre | 1 -
 2 files changed, 1 insertion(+), 2 deletions(-)

diff --git a/pres.system.tex b/pres.system.tex
index 84b9b1e..63b8e05 100644
--- 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
--- 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
-- 
2.20.1