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


Ignore:
Timestamp:
Mar 21, 2007 9:30:00 PM (8 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