Changes between Version 18 and Version 19 of Commentary/Compiler/TypeType


Ignore:
Timestamp:
Jun 8, 2012 8:26:26 AM (23 months ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Commentary/Compiler/TypeType

    v18 v19  
    88The single data type {{{Type}}} is used to represent 
    99 * Types (possibly of higher kind); e.g. `[Int]`, `Maybe` 
    10  * Kinds (which classify types and coercions); e.g. `(* -> *)`, `T :=: [Int]`.  See [wiki:Commentary/Kinds] 
     10 * Kinds (which classify types and coercions); e.g. `(* -> *)`, `T :=: [Int]`.  See [wiki:Commentary/Compiler/Kinds] 
    1111 * Sorts (which classify types); e.g. `TY`, `CO` 
    1212