Changes between Version 11 and Version 12 of Commentary/Compiler/NameType


Ignore:
Timestamp:
Nov 12, 2007 11:30:45 PM (8 years ago)
Author:
tim
Comment:

fix typo

Legend:

Unmodified
Added
Removed
Modified
  • Commentary/Compiler/NameType

    v11 v12  
    6767Here are the sorts of Name an entity can have:
    6868
    69  * Class: always has an {{{External}}} Names.
     69 * Class: always has an {{{External}}} Name.
    7070
    7171 * !TyCon: always has an {{{External}}} or {{{WiredIn}}} Name.