From 392b103f38453733dd6fc128af95cba9e00beaba Mon Sep 17 00:00:00 2001 From: Danila Fedorin Date: Sat, 10 Sep 2022 12:33:43 -0700 Subject: [PATCH] Fix a mental typo in part 2 of types series --- content/blog/02_types_variables.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/content/blog/02_types_variables.md b/content/blog/02_types_variables.md index 2d93c65..4945a47 100644 --- a/content/blog/02_types_variables.md +++ b/content/blog/02_types_variables.md @@ -263,7 +263,7 @@ This rule is bad, and it should feel bad. Here are two reasons: 1. It only works for expressions like `x+y` or `a+b`, but not for more complicated things like `(a+b)+(c+d)`. This is because by using \\(x\_1\\) and \\(x\_2\\), the metavariables for - expressions, it rules out additions that _don't_ add expressions. + variables, it rules out additions that _don't_ add variables. 2. It doesn't play well with other rules; it can't be the _only_ rule for addition of integers, since it doesn't work for integer literals (i.e., `1+1` is out).