@@ -287,7 +287,11 @@ return type. For example, consider
287 zeros (S k) = 0 :: (zeros k)
287 zeros (S k) = 0 :: (zeros k)
289In this example, the return type is ``Vect n Int`` which is an
289In this example, the return type is ``Vect n Int`` which is an
290−expression which depends on the input parameter ``n``. ### Anonymous
290+expression which depends on the input parameter ``n``.
291Arguments in anonymous functions are separated by comma.
295Arguments in anonymous functions are separated by comma.