More typos

Author: odersky

blog/_posts/2016-11-17-splash.md

@@ -39,15 +39,15 @@ expectations.
 
 The original reason for trying so many different avenues had to do
 with DOT, which is intended to be the foundation of future Scala. DOT
-as it is has no provision for higher-kinded types, but it turns out
+as is has no provision for higher-kinded types, but it turns out
 that a restricted version of higher-kinded types can be
 straightforwardly encoded in it.  That issue is not just academic
 because the _dotty_ compiler uses DOT's constructs as its core data
 structures. So what is hard to do in DOT tends to hard to implement in
 the compiler as well.
 
 Originally, we played with the idea to restrict higher-kinded types to
-to just the kind of partial applications that can be conveniently
+just the kind of partial applications that can be conveniently
 encoded in DOT or _dotty_. The main problem was that this would have
 forced us to restrict the Scala language. More advanced idioms, such
 as type classes for `Monad` and `Functor` would have required rewrites