Changes between Version 9 and Version 10 of Commentary/Compiler/TypeType


Ignore:
Timestamp:
Mar 21, 2007 9:30:00 PM (7 years ago)
Author:
kirsten
Comment:

fix typos

Legend:

Unmodified
Added
Removed
Modified
  • Commentary/Compiler/TypeType

    v9 v10  
    44= The data type {{{Type}}} and its friends = 
    55 
    6 GHC's compiles a typed programming lanuage, and GHC's intermediate language is explicitly typed.  So the data type that GHC uses to represent types is of central importance. 
     6GHC compiles a typed programming language, and GHC's intermediate language is explicitly typed.  So the data type that GHC uses to represent types is of central importance. 
    77 
    88The single data type {{{Type}}} is used to represent