typo when correcting typo
commitf5e56a6c961c68df0b48ad5e4489c836288f9801
authorworldsayshi <per.fredelius@gmail.com>
dateWed 29 Jul 2015, 18:19 (11 years ago)
parentb6fd663
docs/reference/syntax-guide.rst+1−1
@@ -29,7 +29,7 @@ Types
2929
3030In Idris, types are first class values. So a type declaration is the
3131same as just declaration of a variable whose type is ``Type``. In Idris,
32−variables that denote a type must beging with a capital letter. Example:
32+variables that denote a type must begin with a capital letter. Example:
3333
3434.. code:: idris
3535