From 9f46d86ae967438d41ace2e74da7cee6898015b9 Mon Sep 17 00:00:00 2001 From: Mart Lubbers Date: Wed, 5 Jul 2017 17:14:07 +0200 Subject: [PATCH] erratum1: forgot to box in cbs-embedding --- edsl.class.tex | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) 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 ... ... -- 2.20.1