Changes between Version 152 and Version 153 of Commentary

Show
Ignore:
Timestamp:
08/02/11 09:27:42 (22 months ago)
Author:
ia0
Comment:

add Kind level page (GhcKinds)

Legend:

Unmodified
Added
Removed
Modified

  • Commentary

    v152 v153  
    6868   * [wiki:SQLLikeComprehensions SQL-Like Comprehensions]: Notes on the ongoing implementation of SPJs "Comprehensive Comprehensions". 
    6969   * [wiki:TypeNats Type level naturals] 
     70   * [wiki:GhcKinds Kind level]: Notes on the theory, design and implementation of a kind level by promotion of data types. 
    7071   * [wiki:KindFact Proposal to add a kind for facts, e.g. class constraints] 
    7172   * [wiki:PolymorphicDynamic Polymorphic Dynamic]: Notes on adding ad-hoc polymorphic dynamic types