X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=edsl.class.tex;h=a2456d9c5b7486827bea2bb89b4d83ae4309ae9c;hb=fea7435e5523f3d33529d08ab5f5f3f677afc666;hp=aafd3557dbd1d810fdc7f4260ca16428709e8e7f;hpb=6548a5ec9ce8e0df67fc4019625ab5238eb1bf71;p=msc-thesis1617.git

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
 	...
 
 ...