@@ -1216,8 +1216,9 @@ Pythagorean triples as follows:
1216The ``[a..b]`` notation is another shorthand which builds a list of
1216The ``[a..b]`` notation is another shorthand which builds a list of
1217numbers between ``a`` and ``b``. Alternatively ``[a,b..c]`` builds a
1217numbers between ``a`` and ``b``. Alternatively ``[a,b..c]`` builds a
1218list of numbers between ``a`` and ``c`` with the increment specified
1218list of numbers between ``a`` and ``c`` with the increment specified
1219−by the difference between ``a`` and ``b``. This works for any numeric
1219+by the difference between ``a`` and ``b``. This works for type ``Nat``,
1220+``Int`` and ``Integer``, using the ``enumFromTo`` and ``enumFromThenTo``
1220−type, using the ``count`` function from the prelude.
1221+function from the prelude.
1222``case`` expressions
1223``case`` expressions
1223--------------------
1224--------------------