From 3d85f5180f26af9f4a2e4488868767746ae7a749 Mon Sep 17 00:00:00 2001
From: Mart Lubbers <mart@martlubbers.net>
Date: Wed, 12 Jul 2017 20:24:25 +0200
Subject: [PATCH] fix small typo in presentation

---
 pres.mtask.tex | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/pres.mtask.tex b/pres.mtask.tex
index 4b6f7d6..52115ae 100644
--- a/pres.mtask.tex
+++ b/pres.mtask.tex
@@ -124,12 +124,12 @@ Plus x y = \e -> x e + y e
 :: Evaluator a = Evaluator (Env -> a)
 :: PrettyPrinter a = PP String
 
-class intArith where
+class intArith v where
 	lit   :: t -> v t | toString t
 	add   :: (v t) (v t) -> (v t) | + t
 	minus :: (v t) (v t) -> (v t) | - t
 
-class boolArith where ...
+class boolArith v where ...
 
 instance intArith Evaluator where
 	lit x   = Evaluator \e->x
-- 
2.20.1