From 198ccedcf51e0b9e1284645374fd815670417d7c Mon Sep 17 00:00:00 2001 From: Julian Ospald Date: Tue, 21 Apr 2015 18:05:07 +0200 Subject: [PATCH] Improve wording --- VL2/content/VL2_polymorphism2.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/VL2/content/VL2_polymorphism2.tex b/VL2/content/VL2_polymorphism2.tex index 0955531..d686409 100644 --- a/VL2/content/VL2_polymorphism2.tex +++ b/VL2/content/VL2_polymorphism2.tex @@ -12,7 +12,7 @@ We can also have: f :: a -> b \end{haskellcode} \pause -So, whatever the function does... it has something of one type and returns something of another type. \hinline{b} \emph{could} be the same type as \hinline{a} here, but it doesn't need to! That's all we know about this function. +So, whatever the function does... it gets something of one type and returns something of another type. \hinline{b} \emph{could} be the same type as \hinline{a} here, but it doesn't need to! That's all we know about this function. \vspace{\baselineskip} \\ \pause