erratum1: forgot to box in cbs-embedding

diff --git a/edsl.class.tex b/edsl.class.tex
index aafd355..a2456d9 100644 (file)
--- 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
        ...
 
 ...