From 2bfd1e974e323e9e67a7a9655a6c003f3f44442b Mon Sep 17 00:00:00 2001 From: simenhu Date: Thu, 14 Nov 2024 10:22:58 +0100 Subject: [PATCH] Update typevariance.md Think this is a small typo (fixed it to get familiar with github forking/PR system) --- docs/src/typevariance.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/src/typevariance.md b/docs/src/typevariance.md index 041b916..47f936e 100644 --- a/docs/src/typevariance.md +++ b/docs/src/typevariance.md @@ -16,7 +16,7 @@ Vectors of type (b) are not a subtype of vectors of type (a), of course, because Vector{Real} <: Vector{Float64} == false ``` -Less clear is that an array of type (a) is also not a subtype of an array of type (b). This is because an array of type (a) *has one constraint* that vectors of type (b) do not. Thus, a vector of type (a) is not a subtype of vectors of type (a), and this translates to the more unnatural +Less clear is that an array of type (a) is also not a subtype of an array of type (b). This is because an array of type (a) *has one constraint* that vectors of type (b) do not. Thus, a vector of type (a) is not a subtype of vectors of type (b), and this translates to the more unnatural ```julia Vector{Float64} <: Vector{Real} == false ```