Update introduction.md (#995)

obsidiansystems · Nov 2, 2022 · 41f9741 · 41f9741
1 parent e3ec75f
commit 41f9741
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/lib/route/docs/introduction.md b/lib/route/docs/introduction.md
@@ -466,7 +466,7 @@ instantiation, but a route for the `TopLevel` could be _any_ one of the sub-rout
 To achieve the desired modularity we use the type of the sub-route as an argument to this top-level
 route constructor.
 
-We will build this route in `Common.Route` using a [Generalised Algebraic Data Type](http://dev.stephendiehl.com/hask/#gadts), or 'GADT'. Part of the reason for this is that it more providese more detailed type information for greater type-safety that aid in providing the guarantees that this package is built upon.
+We will build this route in `Common.Route` using a [Generalised Algebraic Data Type](http://dev.stephendiehl.com/hask/#gadts), or 'GADT'. Part of the reason for this is that it provides more detailed type information for greater type-safety that aid in providing the guarantees that this package is built upon.
 
 If you've not encountered GADTs before, or you're a bit rusty, check out the following links for more information:
 * [What I Wish I Knew When Learning Haskell - GADTs](http://dev.stephendiehl.com/hask/#gadts)