Changes between Version 30 and Version 31 of Commentary/Compiler


Ignore:
Timestamp:
Jun 8, 2012 8:37:40 AM (3 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Commentary/Compiler

    v30 v31  
    2424   * [wiki:Commentary/Compiler/NameType Names] 
    2525   * [wiki:Commentary/Compiler/EntityTypes Entities]: variables, type constructors, data constructors, and classes. 
    26    * Types: [wiki:Commentary/Compiler/TypeType Type and Kind], [wiki:Commentary/Compiler/FC equality types and coercions] 
     26   * Types:  
     27     * [wiki:Commentary/Compiler/TypeType Type] 
     28     * [wiki:Commentary/Compiler/Kinds] 
     29     * [wiki:Commentary/Compiler/FC equality types and coercions] 
    2730   * [wiki:Commentary/Compiler/CoreSynType The core language] 
    2831   * [wiki:Commentary/Compiler/StgSynType The STG language]