Update docs/docs/reference/metaprogramming/macros-spec.md

Author: nicolasstucki

docs/docs/reference/metaprogramming/macros-spec.md

@@ -55,7 +55,7 @@ extends simply-typed lambda calculus with quotes and splices.
 
 ### Syntax
 
-The syntax of terms, values, and types is given follows:
+The syntax of terms, values, and types is given as follows:
 
     Terms         t  ::=  x                 variable
                           (x: T) => t       lambda
@@ -239,4 +239,4 @@ downright pleasant. A simple strategy first defines the underlying quoted or unq
 values using `Expr` and `Type` and then inserts quotes and splices to make the types
 line up. Phase consistency is at the same time a great guideline
 where to insert a splice or a quote and a vital sanity check that
-the result makes sense.
+the result makes sense.