Fix typos

Author: odersky

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

@@ -5,7 +5,7 @@ by: Martin Odersky
 title: SPLASH Amsterdam and Higher-kinded Types
 ---
 
-Two weaks ago I was in Amsterdam, where we had the Scala Symposium as
+Two weeks ago I was in Amsterdam, where we had the Scala Symposium as
 part of the SPLASH conference. I gave a talk at the symposium and then
 later on a keynote at the main conference. I had a great time, staying
 in a hotel on one of Amsterdam's lovely canals and commuting by bike
@@ -39,7 +39,7 @@ 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 povision for higher-kinded types, but it turns out
+as it 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