From: Mart Lubbers <mart@martlubbers.net>
Date: Wed, 5 Jul 2017 15:14:07 +0000 (+0200)
Subject: erratum1: forgot to box in cbs-embedding
X-Git-Tag: final~34
X-Git-Url: https://git.martlubbers.net/?a=commitdiff_plain;h=9f46d86ae967438d41ace2e74da7cee6898015b9;p=msc-thesis1617.git

erratum1: forgot to box in cbs-embedding
---

diff --git a/edsl.class.tex b/edsl.class.tex
index aafd355..a2456d9 100644
--- a/edsl.class.tex
+++ b/edsl.class.tex
@@ -36,12 +36,12 @@ class boolArith where
 	eq  :: (v t)    (v t)    -> (v Bool) | == t
 
 instance intArith Evaluator where
-	lit x = \e->x
-	add x y = ...
+	lit x   = Evaluator \e->x
+	add x y = Evaluator ...
 
 instance intArith PrettyPrinter where
-	lit x = toString x
-	add x y = x +++ "+" +++ y
+	lit x   = PP $ toString x
+	add x y = PP $ x +++ "+" +++ y
 	...
 
 ...