fix typo: "lowercase later" to "lowercase letter"

I think this is a spelling mistake.
This commit is contained in:
elsanussi-s-mneina 2020-07-15 09:50:19 -04:00 committed by GitHub
parent 6233bbd583
commit 19bced702d
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -40,7 +40,7 @@ attempting to use an argument which is erased at run time.
Erasure
-------
In Idris, names which begin with a lower case later are automatically bound
In Idris, names which begin with a lower case letter are automatically bound
as implicit arguments in types, for example in the following skeleton
definition, ``n``, ``a`` and ``m`` are implicitly bound: