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


Ignore:
Timestamp:
Nov 12, 2007 11:30:45 PM (7 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.