Merge pull request #5 from tegonal/doc-dependent-fun

doc(dependent-fun): typo

Author: robstoll

docs/docs/reference/new-types/dependent-function-types-spec.md

@@ -31,7 +31,7 @@ FunctionN[K1, ..., Kn, R'] {
 ```
 
 where the result type parameter `R'` is the least upper approximation of the
-precise result type `R` without any referance to value parameters `x1, ..., xN`.
+precise result type `R` without any reference to value parameters `x1, ..., xN`.
 
 The syntax and sementics of anonymous dependent functions is identical to the
 one of regular functions. Eta expansion is naturally generalized to produce