Commit ed32ea84 authored by Björn Peemöller 's avatar Björn Peemöller
Browse files

Fixed typo

parent 02b2ccc3
......@@ -47,7 +47,7 @@ module of then type where
Note that the symbols \term{as}\pindex{as}, \term{hiding}\pindex{hiding},
and \term{qualified}\pindex{qualified} are not keywords.
They have only a special meaning
in module headers and can be used as ordinary identifies.
in module headers and can be used as ordinary identifiers.
The syntax leaves undefined \emph{Literal} of primitive types.
These are literal constants, such as ``\term{1}'',
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment