From 2315425ad290a2b962404e2904a178dbbf7ee63f Mon Sep 17 00:00:00 2001 From: Master-Killer Date: Wed, 16 Dec 2020 19:12:09 +0100 Subject: [PATCH] Fix spelling mistake withing -> within --- docs/docs/reference/new-types/polymorphic-function-types.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/docs/reference/new-types/polymorphic-function-types.md b/docs/docs/reference/new-types/polymorphic-function-types.md index 21c743ea5a77..8c66d5dde415 100644 --- a/docs/docs/reference/new-types/polymorphic-function-types.md +++ b/docs/docs/reference/new-types/polymorphic-function-types.md @@ -90,4 +90,4 @@ whereas polymorphic functions are applied in terms_**: One would call the function `bar` above by passing it a type argument `bar[Int]` _within a method body_. On the other hand, given a type lambda such as `type F = [A] =>> List[A]`, -one would call `F` _withing a type expression_, as in `type Bar = F[Int]`. +one would call `F` _within a type expression_, as in `type Bar = F[Int]`.