From: Mart Lubbers <mart@martlubbers.net>
Date: Sun, 9 Jul 2017 09:58:31 +0000 (+0200)
Subject: updates
X-Git-Tag: final~16
X-Git-Url: https://git.martlubbers.net/?a=commitdiff_plain;h=a93f144b810887e1bd3b0a0e1e1b098ca7b8ae9c;p=msc-thesis1617.git

updates
---

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