Changes between Version 31 and Version 32 of Commentary/Compiler

Show
Ignore:
Timestamp:
06/08/12 01:38:03 (12 months ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • Commentary/Compiler

    v31 v32  
    2525   * [wiki:Commentary/Compiler/EntityTypes Entities]: variables, type constructors, data constructors, and classes. 
    2626   * Types:  
    27      * [wiki:Commentary/Compiler/TypeType Type] 
    28      * [wiki:Commentary/Compiler/Kinds] 
    29      * [wiki:Commentary/Compiler/FC equality types and coercions] 
     27     * [wiki:Commentary/Compiler/TypeType Types] 
     28     * [wiki:Commentary/Compiler/Kinds Kinds] 
     29     * [wiki:Commentary/Compiler/FC Equality types and coercions] 
    3030   * [wiki:Commentary/Compiler/CoreSynType The core language] 
    3131   * [wiki:Commentary/Compiler/StgSynType The STG language]