Commit 276c0527 authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Documentation wibble: kind -> sort

parent 4716851a
......@@ -5314,7 +5314,8 @@ Sum k1 k2 :: BOX
L :: k1 -> Sum k1 k2
R :: k2 -> Sum k1 k2
</programlisting>
Note that <literal>List</literal>, for instance, does not get kind
where <literal>BOX</literal> is the (unique) sort that classifies kinds.
Note that <literal>List</literal>, for instance, does not get sort
<literal>BOX -> BOX</literal>, because we do not further classify kinds; all
kinds have sort <literal>BOX</literal>.
</para>
......
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