diff --git a/content/blog/11_compiler_polymorphic_data_types.md b/content/blog/11_compiler_polymorphic_data_types.md index f69b883..28f15fd 100644 --- a/content/blog/11_compiler_polymorphic_data_types.md +++ b/content/blog/11_compiler_polymorphic_data_types.md @@ -91,7 +91,7 @@ As one final observation, we note that effectively, all we're doing is tracking the [arity](https://en.wikipedia.org/wiki/Arity) of the constructor type. -Let's now enumarate all the possible forms that (mono)types can take in our system: +Let's now enumerate all the possible forms that (mono)types can take in our system: 1. A type can be a placeholder, like \\(a\\), \\(b\\), etc. 2. A type can be a type constructor, applied to