Spotted a couple of typos

Author: tommythorn

006_hindley_milner.md

@@ -1348,7 +1348,7 @@ The omega combinator will not pass the occurs check.
 
 ```haskell
 Poly> \x -> x x
-Cannot construct the the infinite type: a = a -> b
+Cannot construct the infinite type: a = a -> b
 ```
 
 The file ``test.ml`` provides a variety of tests of the little interpreter. For

008_extended_parser.md

@@ -193,7 +193,7 @@ tokens :-
 Happy
 -----
 
-Using Happy and our previosly defind lexer we'll write down the production rules
+Using Happy and our previously defined lexer we'll write down the production rules
 for our simple untyped lambda calculus. 
 
 We start by defining a ``Syntax`` module where we define the AST we'll generate

chapter9/provenance/Pretty.hs

@@ -62,7 +62,7 @@ instance Show TypeError where
     ]
   show (InfiniteType (TV a) la b) =
     concat [
-      "Cannot construct the the infinite type: "
+      "Cannot construct the infinite type: "
       , a
       , " = "
       , pptype b