_content/blog: fix grammar

Change-Id: I6aa2feab8dec5e7b057cef94dfa7188a0ce361ee
Reviewed-on: https://go-review.googlesource.com/c/website/+/534435
LUCI-TryBot-Result: Go LUCI <golang-scoped@luci-project-accounts.iam.gserviceaccount.com>
Reviewed-by: Robert Griesemer <gri@google.com>
Reviewed-by: Ian Lance Taylor <iant@google.com>

_content/blog/type-inference.md

@@ -897,7 +897,7 @@ That underlying type is `struct{}`, which matches `struct` in equation 1, and un
 
 As a consequence, depending on the order in which unification solves the two type equations,
 the inferred type is either `struct{}` or `T`.
-This is of course unsatisfying: a program may suddenly stop to compile simply because arguments
+This is of course unsatisfying: a program may suddenly stop compiling simply because arguments
 may have been shuffled around during a code refactoring or cleanup.