Correct typos in the blog article

Author: anatoliykmetyuk

docs/blog/_posts/2020-02-03-22nd-dotty-milestone-release.md

@@ -1,12 +1,12 @@
 ---
 layout: blog-page
-title: Announcing Dotty 0.22.0-RC1 - syntactic enhancements, type-level arithmetics and more
+title: Announcing Dotty 0.22.0-RC1 - syntactic enhancements, type-level arithmetic and more
 author: Anatolii Kmetiuk
 authorImg: /images/anatolii.png
 date: 2020-02-03
 ---
 
-Hello! We are excited to announce 0.22.0-RC1 of Dotty. This version brings syntactic enhancements for extension methods and contextual parameters, as well as the kind projector syntax. Other notable changes include type-level arithmetics, changes to the `inline` parameters semantics and suggestions on missing contextual parameters.
+Hello! We are excited to announce 0.22.0-RC1 of Dotty. This version brings syntactic enhancements for extension methods and contextual parameters, as well as the kind projector syntax. Other notable changes include type-level arithmetic, changes to the `inline` parameters semantics and suggestions on missing contextual parameters.
 
 You can try out this version right now, from the comfort of your SBT, by visiting the [home page](https://dotty.epfl.ch/) and scrolling down to the "Create a Dotty Project" section. Enjoy the ride🚀!
 
@@ -144,7 +144,7 @@ Translates to:
 This change was introduced by [PR #8060](https://github.com/lampepfl/dotty/pull/8060/). For more information about the inline capability of Dotty, see [documentation](https://dotty.epfl.ch/docs/reference/metaprogramming/inline.html).
 
 # Primitive compiletime operations on singleton types
-Contributed by [Maxime Kajaer](https://github.com/MaximeKjaer), this release brings along type-level arithmetics:
+Contributed by [Maxime Kjaer](https://github.com/MaximeKjaer), this release brings along type-level arithmetic:
 
 ```scala
 import scala.compiletime.ops.int._
@@ -162,7 +162,7 @@ The compile-time error above will say:
   |                   Required: (13 : Int)
 ```
 
-This feature is particularly useful for data science applications. In data science, it is very easy to make a linear algebra mistake, multiply matrices of wrong dimensions and get a runtime error – sometimes after a few hours of running the model. Hence compile-time verification of the models has a great potential for saving time. With such a type-level arithmetics, Scala becomes well-positioned to implement such type-safe data science frameworks.
+This feature is particularly useful for data science applications. In data science, it is very easy to make a linear algebra mistake, multiply matrices of wrong dimensions and get a runtime error – sometimes after a few hours of running the model. Hence compile-time verification of the models has a great potential for saving time. With such a type-level arithmetic, Scala becomes well-positioned to implement such type-safe data science frameworks.
 
 For the discussion, see [PR #7628](https://github.com/lampepfl/dotty/pull/7628). The documentation is available [here](https://dotty.epfl.ch/docs/reference/metaprogramming/inline.html#the-scalacompiletimeops-package).