Julian Ospald
9 years ago
No known key found for this signature in database
GPG Key ID: 220CD1C5BDEED020
1 changed files with
1 additions and
1 deletions
-
VL2.tex
|
|
@@ -98,7 +98,7 @@ We can even have more generic stuff like: |
|
|
|
\begin{haskellcode} |
|
|
|
f :: a -> b |
|
|
|
\end{haskellcode} |
|
|
|
Whatever the function does... it has something of one type and returns something of another type (\emph{not} the same). That's all we know. |
|
|
|
Whatever the function does... it has something of one type and returns something of another type (it could be the same type, but doesn't need to). That's all we know. |
|
|
|
\vspace{\baselineskip} |
|
|
|
\\ |
|
|
|
\pause |
|
|
|