Typo
This commit is contained in:
parent
e22f99b796
commit
50bb15e974
1 changed files with 1 additions and 1 deletions
|
|
@ -39,7 +39,7 @@ zipWith = f l1 l2 \ l1
|
||||||
| [] \ []
|
| [] \ []
|
||||||
| [y, ...ys] \ [f x y, ...zipWith f xs ys]);
|
| [y, ...ys] \ [f x y, ...zipWith f xs ys]);
|
||||||
|
|
||||||
# contains : a \ List a | Bool
|
# contains : a \ List a \ Bool
|
||||||
contains = x list \ list
|
contains = x list \ list
|
||||||
| [] \ False
|
| [] \ False
|
||||||
| [y, ...ys] \ (x == y
|
| [y, ...ys] \ (x == y
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue