Changes between Version 30 and Version 31 of Commentary

Show
Ignore:
Timestamp:
09/11/06 09:40:39 (7 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • Commentary

    v30 v31  
    1616   * Key data types: 
    1717     * [wiki:Commentary/Compiler/HsSynType The source language: HsSyn]  
    18      * [wiki:Commentary/Compiler/RdrNameType RdrNames, Modules, and OccNames], and[wiki:Commentary/Compiler/NameType Names] 
     18     * [wiki:Commentary/Compiler/RdrNameType RdrNames, Modules, and OccNames], and [wiki:Commentary/Compiler/NameType Names] 
    1919     * [wiki:Commentary/Compiler/EntityTypes Entities]: variables, type constructors, data constructors, and classes. 
    2020     * Types: [wiki:Commentary/Compiler/TypeType Type and Kind], [wiki:Commentary/Compiler/FC equality types and coercions].