Fix weird typo in part 11 of compiler series

This commit is contained in:
Danila Fedorin 2020-04-07 15:28:40 -07:00
parent 569fea74a7
commit 6a2698e911

View File

@ -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 tracking the [arity](https://en.wikipedia.org/wiki/Arity) of the constructor
type. 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. 1. A type can be a placeholder, like \\(a\\), \\(b\\), etc.
2. A type can be a type constructor, applied to 2. A type can be a type constructor, applied to