diff options
| author | Tom Smeding <tom@tomsmeding.com> | 2021-09-14 14:45:50 +0200 |
|---|---|---|
| committer | Tom Smeding <tom@tomsmeding.com> | 2021-09-14 14:45:50 +0200 |
| commit | cc3b4084bc328023b20cdf14ea6e9be1f86d940c (patch) | |
| tree | 34fbf3130b6bb878a7933825a1822a19778ad685 /haskell/composition.md | |
| parent | 85ffc2927b0eb5daedcd5a1c455518e985aed526 (diff) | |
Fix typo in haskell/composition
Diffstat (limited to 'haskell/composition.md')
| -rw-r--r-- | haskell/composition.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/haskell/composition.md b/haskell/composition.md index f6754a5..14f84cb 100644 --- a/haskell/composition.md +++ b/haskell/composition.md @@ -176,7 +176,7 @@ Now look again at the type of `(.)` (all three mean the same): (.) :: (b -> c) -> ((a -> b) -> (a -> c)) ``` -<small>(Why can't we remove the parentheses around the `b -> c` and `a -> c` in there? That is because it the type would then suddenly mean something different. Try to work that out for yourself!)</small> +<small>(Why can't we remove the parentheses around the `b -> c` and `a -> b` in there? That is because it the type would then suddenly mean something different. Try to work that out for yourself!)</small> We can read this as: `(.)` takes a function `g :: b -> c`, a function `f :: a -> b` and a value `x :: a`. It applies `f` to `x`, applies `g` to the result, and returns the result of that. |