From 6a2698e9117ef5d58d95373b02209c33d5832223 Mon Sep 17 00:00:00 2001 From: Danila Fedorin Date: Tue, 7 Apr 2020 15:28:40 -0700 Subject: [PATCH] Fix weird typo in part 11 of compiler series --- content/blog/11_compiler_polymorphic_data_types.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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